Negative font size bug

[timkoers]

If I'm scrolling trough the code, very fast and stop physically scrolling (my touchpad drivers will slowly stop the scrolling) and I press Ctrl to copy or paste something, the font size will dive into the negative numbers, which of course makes the code unreadable.

The issue is, that when the font size is negative, I can't get it to positive without going into the menu's and changing the font size there, followed by a restart of the Arduino IDE.

The same thing is happening with the console font size. That font size isn't saved however and the Arduino IDE needs to be restarted in order to get it back normal.

I have searched the source code a little and I found the handleFontSizeChange method that is responsible for the font size changes. I'm not sure if that method is also used by or with the Console output.

Arduino IDE version 1.8.5 (Windows installer package)