diff options
Diffstat (limited to 'main/gnome-system-monitor/001-duplicate-label.patch')
| -rw-r--r-- | main/gnome-system-monitor/001-duplicate-label.patch | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/main/gnome-system-monitor/001-duplicate-label.patch b/main/gnome-system-monitor/001-duplicate-label.patch deleted file mode 100644 index 97355312fb..0000000000 --- a/main/gnome-system-monitor/001-duplicate-label.patch +++ /dev/null @@ -1,31 +0,0 @@ -From dd7f7953d01a3e1b8bd78334aed05c016558df85 Mon Sep 17 00:00:00 2001 -From: Andreas Nilsson <nisses.mail@home.se> -Date: Tue, 26 Oct 2010 15:09:15 +0000 -Subject: Remove duplicate label in File System tab - -https://bugzilla.gnome.org/show_bug.cgi?id=597250 ---- -diff --git a/src/disks.cpp b/src/disks.cpp -index 172fc7a..c694c0a 100644 ---- a/src/disks.cpp -+++ b/src/disks.cpp -@@ -288,7 +288,6 @@ GtkWidget * - create_disk_view(ProcData *procdata) - { - GtkWidget *disk_box; -- GtkWidget *label; - GtkWidget *scrolled; - GtkWidget *disk_tree; - GtkListStore *model; -@@ -310,9 +309,6 @@ create_disk_view(ProcData *procdata) - - gtk_container_set_border_width(GTK_CONTAINER(disk_box), 12); - -- label = make_title_label(_("File Systems")); -- gtk_box_pack_start(GTK_BOX(disk_box), label, FALSE, FALSE, 0); -- - scrolled = gtk_scrolled_window_new(NULL, NULL); - gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scrolled), - GTK_POLICY_AUTOMATIC, --- -cgit v0.9 |