Go Down

Topic: 1.8.4 -> increase/decrease font size issue ( Ctrl + Plus does not work) (Read 50 times) previous topic - next topic

rexlee

In  1.8.4 the ability to increase/decrease font size via keyboard + mouse shortcuts (Ctrl + MouseWheel) was added.
I find this extremely useful as the old eyes often play tricks on me.
I found in my current installation 1.8.5 though, whilst Ctrl+Minus decreases the font size Ctrl+ Plus does nothing.
I downloaded the latest Beta 1.9.0 and I find exactly the same situation.
I tried to see if the shortcuts can be edited somewhere, but I suspect they are hard coded.
Rexlee

pert

This is a known issue:
https://github.com/arduino/Arduino/issues/6806

Until it's fixed you can use ctrl+mouse wheel.

You could revert the change that broke it in the IDE source code and then build the IDE from source if you like.

If you know the solution to the problem I'm sure a pull request with the fix would be much appreciated by all.

Go Up