classification
Title: IDLE help viewer: let users control font size
Type: enhancement Stage: patch review
Components: IDLE Versions: Python 3.8, Python 3.7
process
Status: open Resolution:
Dependencies: Superseder:
Assigned To: terry.reedy Nosy List: cheryl.sabella, terry.reedy
Priority: normal Keywords: patch

Created on 2018-05-01 05:46 by terry.reedy, last changed 2019-01-24 05:53 by terry.reedy.

Pull Requests
URL Status Linked Edit
PR 6665 open cheryl.sabella, 2018-05-01 05:48
Messages (3)
msg315985 - (view) Author: Terry J. Reedy (terry.reedy) * (Python committer) Date: 2018-05-01 05:46
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.
msg315987 - (view) Author: Terry J. Reedy (terry.reedy) * (Python committer) Date: 2018-05-01 05:57
PR6665 should get listed here as I changed the title to point here instead of #25198
msg334282 - (view) Author: Terry J. Reedy (terry.reedy) * (Python committer) Date: 2019-01-24 05:53
The configdialog font tab sample could also use font resizing.  #24776.
History
Date User Action Args
2019-01-24 05:53:29terry.reedysetmessages: + msg334282
versions: - Python 3.6
2018-05-01 05:57:09terry.reedysetmessages: + msg315987
2018-05-01 05:48:28cheryl.sabellasetkeywords: + patch
pull_requests: + pull_request6364
2018-05-01 05:47:53terry.reedylinkissue33396 dependencies
2018-05-01 05:47:41terry.reedysetnosy: + cheryl.sabella
2018-05-01 05:46:36terry.reedycreate