controls/DebugVariablePanel/DebugVariableTextViewer.py
changeset 2521 48ebcbe7f19b
parent 2509 9c5f835b031e
child 2592 1c34bd8c5077
equal deleted inserted replaced
2493:0ad5e616d37f 2521:48ebcbe7f19b
   183                                  ("release", self.OnReleaseButton),
   183                                  ("release", self.OnReleaseButton),
   184                                  ("delete_graph", self.OnCloseButton)]:
   184                                  ("delete_graph", self.OnCloseButton)]:
   185             self.Buttons.append(GraphButton(0, 0, bitmap, callback))
   185             self.Buttons.append(GraphButton(0, 0, bitmap, callback))
   186 
   186 
   187     def RefreshViewer(self):
   187     def RefreshViewer(self):
   188         """
   188         """Triggers EVT_PAINT event to refresh UI"""
   189         Method that refresh the content displayed by Viewer
   189         self.Refresh()
       
   190 
       
   191     def DrawViewer(self):
       
   192         """
       
   193         Redraw content displayed by Viewer
   190         """
   194         """
   191         # Create buffered DC for drawing in panel
   195         # Create buffered DC for drawing in panel
   192         width, height = self.GetSize()
   196         width, height = self.GetSize()
   193         bitmap = wx.EmptyBitmap(width, height)
   197         bitmap = wx.EmptyBitmap(width, height)
   194         dc = wx.BufferedDC(wx.ClientDC(self), bitmap)
   198         dc = wx.BufferedDC(wx.ClientDC(self), bitmap)
   280     def OnPaint(self, event):
   284     def OnPaint(self, event):
   281         """
   285         """
   282         Function called when redrawing Viewer content is needed
   286         Function called when redrawing Viewer content is needed
   283         @param event: wx.PaintEvent
   287         @param event: wx.PaintEvent
   284         """
   288         """
   285         self.RefreshViewer()
   289         self.DrawViewer()
   286         event.Skip()
   290         event.Skip()