Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IDLE help viewer: let users control font size #77578

Open
terryjreedy opened this issue May 1, 2018 · 2 comments
Open

IDLE help viewer: let users control font size #77578

terryjreedy opened this issue May 1, 2018 · 2 comments
Assignees
@terryjreedy
Labels
3.7 (EOL) end of life 3.8 only security fixes topic-IDLE type-feature A feature request or enhancement

Comments

@terryjreedy
Copy link
Member

BPO 33397
Nosy @terryjreedy, @csabella
PRs
  • gh-77578: IDLE Help - let users control font size #6665
    		•

    Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

    Show more details

    GitHub fields:

    assignee = 'https://github.com/terryjreedy'
closed_at = None
created_at = <Date 2018-05-01.05:46:36.738>
labels = ['3.8', 'expert-IDLE', 'type-feature', '3.7']
title = 'IDLE help viewer: let users control font size'
updated_at = <Date 2019-01-24.05:53:29.409>
user = 'https://github.com/terryjreedy'

    bugs.python.org fields:

    activity = <Date 2019-01-24.05:53:29.409>
actor = 'terry.reedy'
assignee = 'terry.reedy'
closed = False
closed_date = None
closer = None
components = ['IDLE']
creation = <Date 2018-05-01.05:46:36.738>
creator = 'terry.reedy'
dependencies = []
files = []
hgrepos = []
issue_num = 33397
keywords = ['patch']
message_count = 3.0
messages = ['315985', '315987', '334282']
nosy_count = 2.0
nosy_names = ['terry.reedy', 'cheryl.sabella']
pr_nums = ['6665']
priority = 'normal'
resolution = None
stage = 'patch review'
status = 'open'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue33397'
versions = ['Python 3.7', 'Python 3.8']
    @terryjreedy
    Copy link
    Member Author

    Dependency of bpo-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, bpo-16893, or the first followup, bpo-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.

    @terryjreedy terryjreedy added 3.7 (EOL) end of life 3.8 only security fixes labels May 1, 2018
    @terryjreedy terryjreedy self-assigned this May 1, 2018
    @terryjreedy terryjreedy added topic-IDLE type-feature A feature request or enhancement labels May 1, 2018
    @terryjreedy
    Copy link
    Member Author

    The configdialog font tab sample could also use font resizing. bpo-24776.

    @ezio-melotti ezio-melotti transferred this issue from another repository Apr 10, 2022
    @bedevere-bot bedevere-bot mentioned this issue Nov 6, 2022
    Open
    Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
    Assignees

    @terryjreedy terryjreedy

    Labels
    3.7 (EOL) end of life 3.8 only security fixes topic-IDLE type-feature A feature request or enhancement
    Projects
    IDLE Issues
    Status: In Progress
    Milestone
    No milestone
    Development

    No branches or pull requests
    1 participant
    @terryjreedy