equal
deleted
inserted
replaced
72 self.Highlight = HIGHLIGHT_NONE |
72 self.Highlight = HIGHLIGHT_NONE |
73 # List of buttons |
73 # List of buttons |
74 self.Buttons = [] |
74 self.Buttons = [] |
75 self.InitHighlightPensBrushes() |
75 self.InitHighlightPensBrushes() |
76 |
76 |
77 def __del__(self): |
|
78 """ |
|
79 Destructor |
|
80 """ |
|
81 # Remove reference to Debug Variable Panel |
|
82 self.ParentWindow = None |
|
83 |
|
84 def InitHighlightPensBrushes(self): |
77 def InitHighlightPensBrushes(self): |
85 """ |
78 """ |
86 Init global pens and brushes |
79 Init global pens and brushes |
87 """ |
80 """ |
88 if not HIGHLIGHT: |
81 if not HIGHLIGHT: |