dialogs/ConnectionDialog.py
changeset 1247 92588e69d853
parent 1246 101625efb1c1
child 1249 b956c924cbbd
--- a/dialogs/ConnectionDialog.py	Tue Jun 11 23:08:06 2013 +0200
+++ b/dialogs/ConnectionDialog.py	Tue Jun 11 23:50:44 2013 +0200
@@ -72,7 +72,7 @@
         for type, label in [(CONNECTOR, _('Connector')),
                             (CONTINUATION, _('Continuation'))]:
             radio_button = wx.RadioButton(self, label=label, 
-                  style=(wx.RB_GROUP if first else wx.RB_SINGLE))
+                  style=(wx.RB_GROUP if first else 0))
             radio_button.SetValue(first)
             self.Bind(wx.EVT_RADIOBUTTON, self.OnTypeChanged, radio_button)
             left_gridsizer.AddWindow(radio_button, flag=wx.GROW)
@@ -110,7 +110,8 @@
             self.ApplyToAllButton.SetToolTipString(
                 _("Apply name modification to all continuations with the same name"))
             self.Bind(wx.EVT_BUTTON, self.OnApplyToAll, self.ApplyToAllButton)
-            self.ButtonSizer.AddWindow(self.ApplyToAllButton, border=10,
+            self.ButtonSizer.AddWindow(self.ApplyToAllButton, 
+                    border=(3 if wx.Platform == '__WXMSW__' else 10),
                     flag=wx.LEFT)
         else:
             self.ConnectionName.ChangeValue(