wenzelm [Tue, 08 Jun 2010 17:45:39 +0200] rev 37367
clarified font_family vs. font_family_default;
install_fonts: refrain from any magic that does not really work on Mac OS, but introduces strange problems on other platforms;
wenzelm [Tue, 08 Jun 2010 13:51:25 +0200] rev 37366
disable set_styles for now -- there are still some race conditions of PropertiesChanged vs. TextArea painting (NB: without it Isabelle_Token_Marker will crash if sub/superscript is actually used);