On Tue, Sep 24, 2013 at 7:56 AM, Boris Steipe <boris.steipe(a)utoronto.ca>wrote;wrote:
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>