➜

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 rhettinger
Recipients markroseman, rhettinger, terry.reedy
Date 2015-08-17.07:06:43
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1439795203.81.0.072793603774.issue24776@psf.upfronthosting.co.za>
In-reply-to
Content 
FWIW, I would also like a pair of hotkeys, Cmd + and Cmd - to increase and decrease the font (this would greatly improve usability for font size changes).   There is good precedent for this in other editors and terminal programs.
History
Date User Action Args
2015-08-17 07:06:43rhettingersetrecipients: + rhettinger, terry.reedy, markroseman
2015-08-17 07:06:43rhettingersetmessageid: <1439795203.81.0.072793603774.issue24776@psf.upfronthosting.co.za>
2015-08-17 07:06:43rhettingerlinkissue24776 messages
2015-08-17 07:06:43rhettingercreate
Morty Proxy This is a proxified and sanitized view of the page, visit original site.