And...you can always replace the font name with another if you like...just look at exactly what it is called in the font dialog box when you choose a new font manually!<br><br>Rob<br><br><div class="gmail_quote">On Thu, Mar 12, 2009 at 6:02 AM, Damien Cassou <span dir="ltr">&lt;<a href="mailto:damien.cassou@gmail.com">damien.cassou@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi,<br>
<br>
I&#39;ve set-up the following script (based on a previous message in this<br>
list) for people using a recent VM and having DejaVu:<br>
<br>
|font codeFont|<br>
font := LogicalFont familyName: &#39;DejaVu Serif&#39; pointSize: 10.<br>
codeFont := LogicalFont familyName: &#39;DejaVu Sans Mono&#39; pointSize: 9.<br>
Preferences setListFontTo: font.<br>
Preferences setMenuFontTo: font.<br>
Preferences setCodeFontTo: codeFont.<br>
Preferences setButtonFontTo: font.<br>
Preferences setSystemFontTo: font.<br>
font := LogicalFont familyName: &#39;DejaVu Serif&#39; pointSize: 11.<br>
Preferences setWindowTitleFontTo: font.<br>
<font color="#888888"><br>
--<br>
Damien Cassou<br>
<a href="http://damiencassou.seasidehosting.st" target="_blank">http://damiencassou.seasidehosting.st</a><br>
<br>
_______________________________________________<br>
Pharo-project mailing list<br>
<a href="mailto:Pharo-project@lists.gforge.inria.fr">Pharo-project@lists.gforge.inria.fr</a><br>
<a href="http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project" target="_blank">http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project</a><br>
</font></blockquote></div><br>