--- a/RessourceEditor.py Sun Mar 18 21:47:58 2012 +0100
+++ b/RessourceEditor.py Tue Mar 27 23:50:19 2012 +0200
@@ -294,11 +294,11 @@
self.UpTaskButton = wx.Button(id=ID_RESOURCEEDITORUPTASKBUTTON, label='^',
name='UpTaskButton', parent=self.Editor, pos=wx.Point(0, 0),
- size=wx.Size(32, 32), style=0)
+ size=wx.Size(32, -1), style=0)
self.DownTaskButton = wx.Button(id=ID_RESOURCEEDITORDOWNTASKBUTTON, label='v',
name='DownTaskButton', parent=self.Editor, pos=wx.Point(0, 0),
- size=wx.Size(32, 32), style=0)
+ size=wx.Size(32, -1), style=0)
self.staticText2 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT2,
label=_(u'Instances:'), name='staticText1', parent=self.Editor,
--- a/Viewer.py Sun Mar 18 21:47:58 2012 +0100
+++ b/Viewer.py Tue Mar 27 23:50:19 2012 +0200
@@ -2958,7 +2958,6 @@
self.Scroll(x, yp)
def OnMoveWindow(self, event):
- self.Editor.GetBestSize()
self.RefreshScrollBars()
self.RefreshVisibleElements()
event.Skip()