From b268870a7af9c251a9e4e61488fe1ee5eb35191f Mon Sep 17 00:00:00 2001
From: Thierry Vignaud <thierry.vignaud@gmail.com>
Date: Tue, 19 May 2015 06:17:23 -0400
Subject: fix setting banner icon top margin (mga#12358)

Gtk3's gtk_widget_set_margin_top() really is buged when margin < 0

bug introduced in commit f5ed08a589bc9081c68188c464a5a978557d0b2a
---
 perl-install/NEWS     | 2 ++
 perl-install/ugtk3.pm | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/perl-install/NEWS b/perl-install/NEWS
index 30b170bd3..d06ae36f6 100644
--- a/perl-install/NEWS
+++ b/perl-install/NEWS
@@ -1,3 +1,5 @@
+- all tools:
+  o fix banner icon being cliped (mga#12358)
 - drakfont:
   o fix crash (mga#13627)
   o fix crash with --windows_import (mga9347)
diff --git a/perl-install/ugtk3.pm b/perl-install/ugtk3.pm
index 4defb61d6..196f9c4dc 100644
--- a/perl-install/ugtk3.pm
+++ b/perl-install/ugtk3.pm
@@ -1398,7 +1398,7 @@ sub new {
     } else {
 	$icon_img->set_margin_left(12);
     }
-    $icon_img->set_margin_top(($blue_part->get_height-$icon->get_height)/2-4);
+    $icon_img->set_margin_top(($blue_part->get_height-$icon->get_height)/2);
 
     $w->{label} = $label;
     $w->set_size_request(-1, $d_height);
-- 
cgit v1.2.1