Change Details

Currently English wikipedia has two editors enabled: "edit source" and "edit". User should be able to disable editors that he doesn't want to see. Particular problem that motivates me: I am used to edit source. This has been an "edit" option for a long time. Now it has been renamed into "edit source". I don't want to have to remember this all the time. I just want to only see the option I usually use. And I can't disable JS-based editor. Suggestion: Preferences/Editor screen should have a new option "Editors to use". Combobox should have these choices: <Both Source and Text> (default), <Only Source>, <Only Text>