# HG changeset patch
# User lbessard
# Date 1197324923 -3600
# Node ID 473e29dcad25639cb19686096bd038112696baf0
# Parent  9ba9f4f7d08025e892356dd724f0aa951768a563
Bug on Refresh Main Menu fixed

diff -r 9ba9f4f7d080 -r 473e29dcad25 objdictgen/networkedit.py
--- a/objdictgen/networkedit.py	Mon Dec 10 16:51:54 2007 +0100
+++ b/objdictgen/networkedit.py	Mon Dec 10 23:15:23 2007 +0100
@@ -404,8 +404,8 @@
         if selected >= 0:
             window = self.NetworkNodes.GetPage(selected)
             self.NodeList.SetCurrentSelected(window.GetIndex())
-        self.RefreshMainMenu()
-        self.RefreshStatusBar()
+        wx.CallAfter(self.RefreshMainMenu)
+        wx.CallAfter(self.RefreshStatusBar)
         event.Skip()
 
 #-------------------------------------------------------------------------------