Fixed bug in DebugVariablePanel on Windows
authorLaurent Bessard
Mon, 03 Jun 2013 22:48:42 +0200
changeset 1216 598ff0043ad3
parent 1215 786f2533200a
child 1217 b64dcc1a011f
Fixed bug in DebugVariablePanel on Windows
controls/DebugVariablePanel/DebugVariableGraphicPanel.py
--- a/controls/DebugVariablePanel/DebugVariableGraphicPanel.py	Mon Jun 03 22:09:01 2013 +0200
+++ b/controls/DebugVariablePanel/DebugVariableGraphicPanel.py	Mon Jun 03 22:48:42 2013 +0200
@@ -787,8 +787,7 @@
             if source_panel.ItemsIsEmpty():
                 if source_panel.HasCapture():
                     source_panel.ReleaseMouse()
-                if isinstance(source_panel, DebugVariableGraphicViewer):
-                    source_panel.Destroy()
+                source_panel.Destroy()
                 self.GraphicPanels.remove(source_panel)
                 
             self.ResetVariableNameMask()
@@ -828,8 +827,7 @@
                     if source_panel.ItemsIsEmpty():
                         if source_panel.HasCapture():
                             source_panel.ReleaseMouse()
-                        if isinstance(source_panel, DebugVariableGraphicViewer):
-                            source_panel.Destroy()
+                        source_panel.Destroy()
                         self.GraphicPanels.remove(source_panel)
             elif (merge_type != graph_type and len(target_panel.Items) == 2):
                 target_panel.RemoveItem(source_item)
@@ -858,16 +856,14 @@
             
             if item is None:
                 source_panel.ClearItems()
-                if isinstance(source_panel, DebugVariableGraphicViewer):
-                    source_panel.Destroy()
+                source_panel.Destroy()
                 self.GraphicPanels.remove(source_panel)
                 self.ResetVariableNameMask()
                 self.RefreshGraphicsSizer()
             else:
                 source_panel.RemoveItem(item)
                 if source_panel.ItemsIsEmpty():
-                    if isinstance(source_panel, DebugVariableGraphicViewer):
-                        source_panel.Destroy()
+                    source_panel.Destroy()
                     self.GraphicPanels.remove(source_panel)
                     self.ResetVariableNameMask()
                     self.RefreshGraphicsSizer()