New submission from Terry J. Reedy <tjre...@udel.edu>: 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. ---------- assignee: terry.reedy components: IDLE messages: 315985 nosy: terry.reedy priority: normal severity: normal stage: patch review status: open title: IDLE help viewer: let users control font size type: enhancement versions: Python 3.6, Python 3.7, Python 3.8 _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue33397> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
