I agree with is kind of annoying, but you can always open styler.xml just replace "Comic Sans MS" with "", and as always I'd make a backup.
@Anonymous:
What version are you using? Since I can't find it in 4.1.2 and the User Defined versions you could make arent' as good as the official ones.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
It would be good if all the fonts were monospaced, not Comic Sans for comments. Changing it is a pain, as I have to do it 5 times per language.
The problem with using different fonts/sizes is the Vertical Edge (margin) is incorrect for comments, and makes things look annoying and inconsistent.
Thanks for the tips guys. Probably the quickest way would be to do a replace on the XML file. I did it manually this time around.
This font should be banned from existence!
I disagree. I think we should keep a few samples of it around for scientific studies. :)
You can set that in the style configurator (Language -> Style Configurator). You can select any font that is available on the system.
I agree with is kind of annoying, but you can always open styler.xml just replace "Comic Sans MS" with "", and as always I'd make a backup.
@Anonymous:
What version are you using? Since I can't find it in 4.1.2 and the User Defined versions you could make arent' as good as the official ones.
For the problem of vertical limit you can replace the vertical limit by a text background color if text is outside the caracter limit