https://bugzilla.wikimedia.org/show_bug.cgi?id=1941
--- Comment #3 from Ilmari Karonen <[email protected]> 2008-12-13 08:56:24 UTC --- Ideally, we should have the ability to vary the font used in the textarea depending on whether the text being edited is preformatted or not. Absent such fancy tricks, though, monospaced is the safe default, even if it may not look as nice. It would be a good idea to offer a gadget to make the font proportional again, though. (This is trivial to do, just override the style with a more specific CSS rule.) -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
