Message 224157 - Python tracker

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.