Serhiy Storchaka added the comment:
On X11 <Button-4> and <Button-5> events are generated on mouse wheel roll. So
you should add
widget.bind('<Control-Button-4>', self._increaseFont)
widget.bind('<Control-Button-5>', self._decreaseFont)
But mouse wheel events still are sent to widget and text is scrolled together
with font size changing.
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue21933>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
