This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author Lita.Cho
Recipients Lita.Cho, jesstess, ned.deily, terry.reedy
Date 2014-07-22.01:54:13
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1405994057.37.0.852183994717.issue21933@psf.upfronthosting.co.za>
In-reply-to
Content
Here is a patch for changing the font size using the scroll wheel. I also added the shortcuts "Ctrl-plus" to increase the font size and "Ctrl-minus" to decrease the font size.

However, since the MouseWheel is now bound to changing the font
size, the canvas won't scroll. I can try to fix this so that the mousewheel only changes the font size if the text pane is highlighted. But that might not be intuitive. Thoughts?

Note, this patch also includes the window sash (issue21597). They are sort of dependent since I am also redefining the onResize method, so I clumped all the bindings to one method. But if you want that to be separate, I can try to make it into two separate patches.
History
Date User Action Args
2014-07-22 01:54:17Lita.Chosetrecipients: + Lita.Cho, terry.reedy, ned.deily, jesstess
2014-07-22 01:54:17Lita.Chosetmessageid: <1405994057.37.0.852183994717.issue21933@psf.upfronthosting.co.za>
2014-07-22 01:54:17Lita.Cholinkissue21933 messages
2014-07-22 01:54:16Lita.Chocreate