diff -r f8445d00613d -r 435e2d8ee580 RessourceEditor.py
--- 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):