On 2014-07-11 18:02, Elanjelian Venugopal wrote: > Compiled and tested. Works. Except the UI fonts need to be changed. Is > there an easy way to change them? The screenshot attached for > reference.
There's a menu item to change the font, but I'm not sure if it affects dialogs. The string in this dialog is created as simple HTML in org.languagetool.gui.Tools in the getExampleSentences() method. Regards Daniel ------------------------------------------------------------------------------ _______________________________________________ Languagetool-devel mailing list Languagetool-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/languagetool-devel
