Message315985
| 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:36 | terry.reedy | set | recipients:
+ terry.reedy |
| 2018年05月01日 05:46:36 | terry.reedy | set | messageid: <1525153596.77.0.682650639539.issue33397@psf.upfronthosting.co.za> |
| 2018年05月01日 05:46:36 | terry.reedy | link | issue33397 messages |
| 2018年05月01日 05:46:36 | terry.reedy | create |
|