From 7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef 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 | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/perl-install/NEWS b/perl-install/NEWS
index dde8765bf..5ada56703 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 b65041e2c..de6c312c1 100644
--- a/perl-install/ugtk3.pm
+++ b/perl-install/ugtk3.pm
@@ -1545,7 +1545,8 @@ sub new {
     } else {
 	$icon_img->set_margin_left(12);
     }
-    $icon_img->set_margin_top(($blue_part->get_height-$icon_w->get_height)/2-4);
+    $icon_img->set_margin_top(($blue_part->get_height-$icon_w->get_height)/2);
+
 
     $w->{label} = $label;
     $w->set_size_request(-1, $d_height);
-- 
cgit v1.2.1