changeset 1847 | 6198190bc121 |
parent 1747 | 6046ffa2280f |
child 1878 | fb73a6b6622d |
--- a/controls/CustomStyledTextCtrl.py Tue Oct 03 16:31:31 2017 +0300 +++ b/controls/CustomStyledTextCtrl.py Thu Oct 05 16:38:49 2017 +0300 @@ -95,7 +95,7 @@ def OnMotion(self, event): if wx.Platform == '__WXMSW__': if not event.Dragging(): - x, y = event.GetPosition() + x, _y = event.GetPosition() margin_width = reduce( lambda x, y: x + y, [self.GetMarginWidth(i)