homepage

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 terry.reedy
Recipients terry.reedy
Date 2018年05月01日.05:46:36
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1525153596.77.0.682650639539.issue33397@psf.upfronthosting.co.za>
In-reply-to
Content
Dependency of #33396. 
1. Base the initial font sizes on the on the configured editor font size. Note that editor font size defaults to 10 while the current base size is 12. I did not find any explicit discussion of this in the original issue, #16893, or the first followup, #25198. Perhaps Mark Roseman just liked the result, or perhaps it made the relative sizing easier.
2. Change font size with Control-Mousewheel. Manually tested code for doing this on Windows, Linux, and MacOS is in turtledemo.__main__. The three systems are wildly different. What we do here should allow easily doing same for other text windows.
History
Date User Action Args
2018年05月01日 05:46:36terry.reedysetrecipients: + terry.reedy
2018年05月01日 05:46:36terry.reedysetmessageid: <1525153596.77.0.682650639539.issue33397@psf.upfronthosting.co.za>
2018年05月01日 05:46:36terry.reedylinkissue33397 messages
2018年05月01日 05:46:36terry.reedycreate

AltStyle によって変換されたページ (->オリジナル) /