# HG changeset patch
# User Laurent Bessard
# Date 1370292522 -7200
# Node ID 598ff0043ad30a81692bf6fab14f0ab56dc7fc13
# Parent  786f2533200a8f1ee6e07792d50c883a196ff3cb
Fixed bug in DebugVariablePanel on Windows

diff -r 786f2533200a -r 598ff0043ad3 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()