--- a/RessourceEditor.py Sun Mar 18 15:37:04 2012 +0100
+++ b/RessourceEditor.py Sun Mar 18 18:11:46 2012 +0100
@@ -270,7 +270,7 @@
def _init_Editor(self, prnt):
self.Editor = wx.Panel(id=ID_RESOURCEEDITORPANEL, name='ResourceEditor', parent=prnt,
- size=wx.Size(0, 0), style=wx.SUNKEN_BORDER)
+ size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.TAB_TRAVERSAL)
self.staticText1 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT1,
label=_(u'Tasks:'), name='staticText2', parent=self.Editor, pos=wx.Point(0,
@@ -322,11 +322,11 @@
self.UpInstanceButton = wx.Button(id=ID_RESOURCEEDITORUPINSTANCEBUTTON, label='^',
name='UpInstanceButton', parent=self.Editor, pos=wx.Point(0, 0),
- size=wx.Size(32, 32), style=0)
+ size=wx.Size(32, -1), style=0)
self.DownInstanceButton = wx.Button(id=ID_RESOURCEEDITORDOWNINSTANCEBUTTON, label='v',
name='DownInstanceButton', parent=self.Editor, pos=wx.Point(0, 0),
- size=wx.Size(32, 32), style=0)
+ size=wx.Size(32, -1), style=0)
self._init_sizers()
@@ -496,7 +496,7 @@
self.RefreshModel()
colname = self.TasksTable.GetColLabelValue(col, False)
if colname in ["Triggering", "Name"]:
- wx.CallAfter(self.RefreshView)
+ wx.CallAfter(self.RefreshView, False)
event.Skip()
def OnInstancesGridCellChange(self, event):