Alejandro Rodas added the comment: I have made a patch to zoom in and out with <Control-plus> and <Control-minus> events, respectively. I'll upload it soon since the test suite is giving me an error in test_multiprocessing, even before writing the patch.
I have taken a look at ZoomFont.py of IdleX and it also has the option to reset the font size to its original value, but I don't know if this feature was wanted to be added too. However, ZoomFont controls the size of the LineNumber extension, while this patch only changes the font of the editview's text widget. ---------- nosy: +alex.rodas _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue17642> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
