Comment 3 for bug 945641

Thanks for your feedback.

I accidentally found, that you are right, after changing the font size and directly afterwards pasting some snippet from one of the questions here to the IDE.

Additionally It seems that in bigger fonts some special characters (e.g. [ ] brackets) are slightly misplaced.

It seems, that a workaround is (at least for the extra spaces and sales deletes) is to restart the IDE directly after changing the font size.