Console does not use current font size
Open
Component: IDE
Component: IDE user interface
IDE 1.9.x Beta
Type: Bug
- Dominant language
- Java
- Stars
- 14.6k
- Forks
- 7k
- PR merge metrics
- No merged PRs in 30d
Description
Using Arduino IDE 1.9 Beta build 23 on Windows 7 64 bit
1. Change font size via keyboard shortcut, Edit menu, or File > Preferences > Editor font size
1. Sketch > Verify/Compile - the font size of the output in the console window uses the font size that was saved to preferences.txt the last time the Arduino IDE was closed rather than the current font size used in the editor.
Contributor guide
Research direction
Reproduce the issue in Arduino IDE 1.9 Beta build 23 on Windows 7 using the listed font-size controls, then trace the console output font setting and the editor's current font size. Confirm that compiling after a font-size change uses the current editor size rather than the value last saved in preferences.txt.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- desktop
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100