equal
deleted
inserted
replaced
277 self.TickSizer.AddWindow(self.TickTimeLabel) |
277 self.TickSizer.AddWindow(self.TickTimeLabel) |
278 |
278 |
279 self.GraphicsWindow = wx.ScrolledWindow(self, style=wx.HSCROLL | wx.VSCROLL) |
279 self.GraphicsWindow = wx.ScrolledWindow(self, style=wx.HSCROLL | wx.VSCROLL) |
280 self.GraphicsWindow.SetBackgroundColour(wx.WHITE) |
280 self.GraphicsWindow.SetBackgroundColour(wx.WHITE) |
281 self.GraphicsWindow.SetDropTarget(DebugVariableDropTarget(self)) |
281 self.GraphicsWindow.SetDropTarget(DebugVariableDropTarget(self)) |
282 self.GraphicsWindow.Bind(wx.EVT_ERASE_BACKGROUND, self.OnGraphicsWindowEraseBackground) |
|
283 self.GraphicsWindow.Bind(wx.EVT_PAINT, self.OnGraphicsWindowPaint) |
282 self.GraphicsWindow.Bind(wx.EVT_PAINT, self.OnGraphicsWindowPaint) |
284 self.GraphicsWindow.Bind(wx.EVT_SIZE, self.OnGraphicsWindowResize) |
283 self.GraphicsWindow.Bind(wx.EVT_SIZE, self.OnGraphicsWindowResize) |
285 self.GraphicsWindow.Bind(wx.EVT_MOUSEWHEEL, self.OnGraphicsWindowMouseWheel) |
284 self.GraphicsWindow.Bind(wx.EVT_MOUSEWHEEL, self.OnGraphicsWindowMouseWheel) |
286 |
285 |
287 main_sizer.AddWindow(self.GraphicsWindow, 1, flag=wx.GROW) |
286 main_sizer.AddWindow(self.GraphicsWindow, 1, flag=wx.GROW) |
925 self.GraphicsWindow.SetScrollbars(SCROLLBAR_UNIT, SCROLLBAR_UNIT, |
924 self.GraphicsWindow.SetScrollbars(SCROLLBAR_UNIT, SCROLLBAR_UNIT, |
926 vwidth // SCROLLBAR_UNIT, |
925 vwidth // SCROLLBAR_UNIT, |
927 vheight // SCROLLBAR_UNIT, |
926 vheight // SCROLLBAR_UNIT, |
928 posx, posy) |
927 posx, posy) |
929 |
928 |
930 def OnGraphicsWindowEraseBackground(self, event): |
|
931 pass |
|
932 |
|
933 def OnGraphicsWindowPaint(self, event): |
929 def OnGraphicsWindowPaint(self, event): |
934 """EVT_PAINT handler""" |
930 """EVT_PAINT handler""" |
935 |
931 |
936 self.DrawView() |
932 self.DrawView() |
937 event.Skip() |
933 event.Skip() |