Skip to content

Font size change should apply to menu #3301

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
Open
ffissore opened this issue Jun 8, 2015 · 0 comments
Open

Font size change should apply to menu #3301

ffissore opened this issue Jun 8, 2015 · 0 comments
Labels
Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)

Comments

@ffissore
Copy link
Contributor

ffissore commented Jun 8, 2015

Request coming from support: when changing font size, apply that change all around the interface, not just the editor

arduino_fonts_image
@ffissore ffissore added the feature request A request to make an enhancement (not a bug fix) label Jun 8, 2015
@ffissore ffissore self-assigned this Jun 8, 2015
@per1234 per1234 added the Component: IDE user interface The Arduino IDE's user interface label Jul 3, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ffissore @per1234