arduino v18 linux editor font problem

Hi,
you can set the size of the font in the preferences-dialog File->Prerences or edit the file that is mentioned on the dialog.

Some stupid code in the IDE seems to switch off font antialiasing on the editor. So you can't really use any sensible Font in the IDE. 'Inconsolata' looks horrible for instance. So I'm back to monospaced size 18.

Eberhard