From 9396e9e770bc86d0cdc1a47a5c73e1700b7a2ec8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C5=81ukasz=20Kie=C5=9B?= Date: Mon, 16 Jul 2012 11:36:54 +0200 Subject: [PATCH] - obsoleted --- gtk+3-notify.patch | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 gtk+3-notify.patch diff --git a/gtk+3-notify.patch b/gtk+3-notify.patch deleted file mode 100644 index be2a40a..0000000 --- a/gtk+3-notify.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/gtk/gtkstatusicon.c b/gtk/gtkstatusicon.c -index 8bcb638..efecdad 100644 ---- a/gtk/gtkstatusicon.c -+++ b/gtk/gtkstatusicon.c -@@ -1328,10 +1328,9 @@ round_pixel_size (GtkWidget *widget, - - for (s = GTK_ICON_SIZE_MENU; s <= GTK_ICON_SIZE_DIALOG; s++) - { -- if (gtk_icon_size_lookup_for_settings (settings, s, &w, &h) && -- w <= pixel_size && h <= pixel_size) -+ if (gtk_icon_size_lookup_for_settings (settings, s, &w, &h)) - { -- d = MAX (pixel_size - w, pixel_size - h); -+ d = MAX (abs (pixel_size - w), abs (pixel_size - h)); - if (d < dist) - { - dist = d; -- 2.44.0