On Mon, May 18, 2009 at 10:37 AM, Lukas Renggli <renggli@gmail.com> wrote:
That looks great, though I would prefer a sans-serif font (DejaVu Sans) instead of a serif font (DejaVu Serif) in the UI. Serif fonts add too much noise on the screen and are typically used in print only, not in user interfaces.
If people agree with this, I can change that. The script I currently use is the following one. If you have ideas on how to improve it, please tell me. font := LogicalFont familyName: 'DejaVu Serif' pointSize: 10. codeFont := LogicalFont familyName: 'DejaVu Sans Mono' pointSize: 9. Preferences setListFontTo: font. Preferences setMenuFontTo: font. Preferences setCodeFontTo: codeFont. Preferences setButtonFontTo: font. Preferences setSystemFontTo: font. font := LogicalFont familyName: 'DejaVu Serif' pointSize: 11. Preferences setWindowTitleFontTo: font. -- Damien Cassou http://damiencassou.seasidehosting.st "Lambdas are relegated to relative obscurity until Java makes them popular by not having them." James Iry