controls/DebugVariablePanel.py
changeset 1043 b46e45e0afc7
parent 1041 736ec395399a
child 1044 41bd726aa23c
equal deleted inserted replaced
1042:6dbdc6844eb9 1043:b46e45e0afc7
   816             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)
   816             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)
   817             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)
   817             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)
   818             self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBackground)
   818             self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBackground)
   819             self.Bind(wx.EVT_SIZE, self.OnResize)
   819             self.Bind(wx.EVT_SIZE, self.OnResize)
   820             
   820             
   821             self.SetMinSize(self.GetCanvasMinSize())
   821             canvas_size = self.GetCanvasMinSize()
       
   822             self.SetMinSize(canvas_size)
   822             self.SetDropTarget(DebugVariableDropTarget(self.ParentWindow, self))
   823             self.SetDropTarget(DebugVariableDropTarget(self.ParentWindow, self))
   823             self.mpl_connect('button_press_event', self.OnCanvasButtonPressed)
   824             self.mpl_connect('button_press_event', self.OnCanvasButtonPressed)
   824             self.mpl_connect('motion_notify_event', self.OnCanvasMotion)
   825             self.mpl_connect('motion_notify_event', self.OnCanvasMotion)
   825             self.mpl_connect('button_release_event', self.OnCanvasButtonReleased)
   826             self.mpl_connect('button_release_event', self.OnCanvasButtonReleased)
   826             self.mpl_connect('scroll_event', self.OnCanvasScroll)
   827             self.mpl_connect('scroll_event', self.OnCanvasScroll)
   832                 GraphButton(0, 0, GetBitmap("export_graph_mini"), self.OnExportGraphButton))
   833                 GraphButton(0, 0, GetBitmap("export_graph_mini"), self.OnExportGraphButton))
   833             self.Buttons.append(
   834             self.Buttons.append(
   834                 GraphButton(0, 0, GetBitmap("delete_graph"), self.OnCloseButton))
   835                 GraphButton(0, 0, GetBitmap("delete_graph"), self.OnCloseButton))
   835             
   836             
   836             self.ResetGraphics()
   837             self.ResetGraphics()
   837             self.RefreshLabelsPosition(200)
   838             self.RefreshLabelsPosition(canvas_size.height)
   838             self.ShowButtons(False)
   839             self.ShowButtons(False)
   839         
   840         
   840         def draw(self, drawDC=None):
   841         def draw(self, drawDC=None):
   841             FigureCanvasAgg.draw(self)
   842             FigureCanvasAgg.draw(self)
   842     
   843