# HG changeset patch # User Laurent Bessard # Date 1342552809 -7200 # Node ID 300ced19d03c2947a31da3468e9a06c623c8d76a # Parent 7c44fc339889075288e3bded452ea9026d6d7021 Fixing bug with wheel mouse on GraphicViewer diff -r 7c44fc339889 -r 300ced19d03c GraphicViewer.py --- a/GraphicViewer.py Fri Jul 13 12:42:38 2012 +0200 +++ b/GraphicViewer.py Tue Jul 17 21:20:09 2012 +0200 @@ -78,7 +78,6 @@ self.Canvas.canvas.Bind(wx.EVT_MIDDLE_DOWN, self.OnCanvasMiddleDown) self.Canvas.canvas.Bind(wx.EVT_MIDDLE_UP, self.OnCanvasMiddleUp) self.Canvas.canvas.Bind(wx.EVT_MOTION, self.OnCanvasMotion) - self.Canvas.canvas.Bind(wx.EVT_MOUSEWHEEL, self.OnCanvasMouseWheel) self.Canvas.canvas.Bind(wx.EVT_SIZE, self.OnCanvasResize) main_sizer.AddWindow(self.Canvas, 0, border=0, flag=wx.GROW) @@ -149,6 +148,8 @@ self.Editor.SetSizer(main_sizer) + self.Editor.Bind(wx.EVT_MOUSEWHEEL, self.OnCanvasMouseWheel) + def __init__(self, parent, window, producer, instancepath = ""): EditorPanel.__init__(self, parent, "", window, None) DebugViewer.__init__(self, producer, True, False)