On Mon, May 18, 2009 at 1:51 PM, Adrian Lienhard &lt;adi@netstyle.ch&gt; wrote:<br>&gt; I agree with Lukas, Bill, and Simon (that is, to change the default<br>&gt; font to DejaVu Sans).<br><br>Ok, here is the new version. What do you think?<br>

<br><span style="font-family: courier new,monospace;">font := LogicalFont familyName: &#39;DejaVu Sans&#39; pointSize: 10.</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">codeFont := LogicalFont familyName: &#39;DejaVu Sans Mono&#39; pointSize: 9.</span><br style="font-family: courier new,monospace;">

<span style="font-family: courier new,monospace;">titleFont := LogicalFont familyName: &#39;DejaVu Serif&#39; pointSize: 11.</span><br style="font-family: courier new,monospace;"><br style="font-family: courier new,monospace;">

<span style="font-family: courier new,monospace;">Preferences setListFontTo: font.</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">Preferences setMenuFontTo: font.</span><br style="font-family: courier new,monospace;">

<span style="font-family: courier new,monospace;">Preferences setCodeFontTo: codeFont.</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">Preferences setButtonFontTo: font.</span><br style="font-family: courier new,monospace;">

<span style="font-family: courier new,monospace;">Preferences setSystemFontTo: font.</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">Preferences setWindowTitleFontTo: titleFont.</span><br>

<br>-- <br>Damien Cassou<br><a href="http://damiencassou.seasidehosting.st">http://damiencassou.seasidehosting.st</a><br><br>&quot;Lambdas are relegated to relative obscurity until Java makes them popular by not having them.&quot; James Iry<br>

<br>