[issue17642] IDLE add font resizing hot keys
Roger Serwy
report at bugs.python.org
Tue May 14 05:38:24 CEST 2013
Roger Serwy added the comment:
@Abhishek: I'd rather not require extensions to have a new method for resetting font sizes. Instead, a virtual event can be bound to a callback by the extension if it needs to know about a font change.
@Alejandro: It looks like there's a bug in ZoomFont.py where the cursor can go off screen which has propagated into these patches. That's my fault.
I'll take a look at these points later this week.
----------
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue17642>
_______________________________________
More information about the Python-bugs-list
mailing list