#578 OS X font quirks in main window

[Andrea D'Amore]

Freemat 4.1 on OS X has some quirks with fonts in main window, setting font size to 12 or 14 will cut final char of each line.
It seems that the text widget is changing the size of each letter, the sum of this effect on a line completely hides a part or all of last char. Making a selection on the text will further change this behavior so that ending the selection to the penultimate char will show the last char but make the penultimate (partially) invisible.

I'm attaching a screenshot of the two states.

[Andrea D'Amore]