On Fri, Apr 24, 2009 at 05:59, Andrew Garrett agarrett@wikimedia.org wrote:
I'd like to look towards trimming some of the existing preferences that are no longer relevant, and adding new preferences as common sense dictates.
Can I suggest adding a "preferred editor" preference? Ideally, it should be a dropdown box (given the variety of existing visual editors http://usability.wikimedia.org/wiki/Environment_Survey/MediaWiki_Extensions/Nomination#Editing, an admin might wish to install more than one), but a simple "disable the visual editor" checkbox is probably enough for most setups (and simpler to maintain).
Thanks, bye -- Jacopo Corbetta j.corbetta@sssup.it jacopo.corbetta@gmail.com
WYMeditor MediaWiki integration: http://www.mediawiki.org/wiki/Extension:MeanEditor