On Tue, Sep 24, 2013 at 7:56 AM, Boris Steipe boris.steipe@utoronto.cawrote:
No I do't. It's some sans-serif. (in Chrome 29.0.1547.76 same as Safari 5.1.10. Firefox ... Good Lord! you are right. MacOS 10.6.8)
a third advantage that comes to mind is using alt-drag for block text selections (as in MSW or TextEdit). B.
The relevant bug for those interested is: Bug 53734 - Setting language to anything other than "en" changes default edit-window font from monospaced to sans-serif https://bugzilla.wikimedia.org/show_bug.cgi?id=53734