From e6c4aa11a9459dea8273ea5237cbdd069ad65c25 Mon Sep 17 00:00:00 2001
From: Gonzalo Odiard <godiard@gmail.com>
Date: Wed, 19 Sep 2012 13:50:57 +0000
Subject: Radio tool buttons are bigger than they should - SL #3918

This change needs sugar-toolkit-gtk3 0.97.3

Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
---
diff --git a/toolbox.py b/toolbox.py
index 157dff8..9e828f1 100644
--- a/toolbox.py
+++ b/toolbox.py
@@ -229,8 +229,7 @@ class DrawEditToolbar(EditToolbar):
 class DrawToolButton(RadioToolButton):
 
     def __init__(self, icon_name, tool_group, tooltip):
-        RadioToolButton.__init__(self)
-        self.props.icon_name = icon_name
+        RadioToolButton.__init__(self, icon_name=icon_name)
         self.props.group = tool_group
         self.set_active(False)
         self.set_tooltip(tooltip)
--
cgit v0.9.1