equal
deleted
inserted
replaced
93 self.Bind(wx.EVT_MOTION, self.OnMotion) |
93 self.Bind(wx.EVT_MOTION, self.OnMotion) |
94 |
94 |
95 def OnMotion(self, event): |
95 def OnMotion(self, event): |
96 if wx.Platform == '__WXMSW__': |
96 if wx.Platform == '__WXMSW__': |
97 if not event.Dragging(): |
97 if not event.Dragging(): |
98 x, y = event.GetPosition() |
98 x, _y = event.GetPosition() |
99 margin_width = reduce( |
99 margin_width = reduce( |
100 lambda x, y: x + y, |
100 lambda x, y: x + y, |
101 [self.GetMarginWidth(i) |
101 [self.GetMarginWidth(i) |
102 for i in xrange(3)], |
102 for i in xrange(3)], |
103 0) |
103 0) |