IDE window: CTRL-MouseWheel for zoom #6359
Labels
Component: IDE user interface
The Arduino IDE's user interface
feature request
A request to make an enhancement (not a bug fix)
Milestone
Comments
|
Possibly Java 9, due next month, will bring something here? |
|
That's a good suggestion , thanks for posting! It should be fairly easy to trap the event inside the Editor view and apply the preference. Hot-reloading could be a bit more difficult but feasible indeed. If anyone wants to try coding a solution we'll be super happy to test it 😄 |
facchinm
added
Component: IDE user interface
|
Now, font size may become a negative value in #6551 change and at that time, the IDE will not start. |
cmaglie
added a commit
that referenced
this issue
Aug 28, 2017
This should allow to automatically recover situations like #6359 (comment) See #6359
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
The inability to zoom in/out the code window is slightly annoying, i'm sure i'm not the only out there bothered by it. What's the development effort required to implement either
CTRL-MouseWheeland/orCTRL-+,CTRL-minus? Do we have to move away from Java? :) Or just bind to some events?I am aware a font size can be specified under Preferences, but that's
CTRL-comma - click-select - type - click, not exactly the best UX.The text was updated successfully, but these errors were encountered: