[Bug 46779] Provide a way to disable CodeEditor in user preferences

2014-01-30 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 MZMcBride changed: What|Removed |Added Keywords||easy -- You are receiving this mail becau

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-10-20 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 Danny B. changed: What|Removed |Added Blocks||55936 See Also|

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-09-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 --- Comment #4 from MZMcBride --- (In reply to comment #3) > Eh, i don't want to see this in the prefs as a plain user, but we could hide > the pref, and use the toolbar button to toggle it using the api perhaps ? Yup. -- You are receiving t

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-09-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 Derk-Jan Hartman changed: What|Removed |Added CC||hartman.w...@gmail.com --- Comment

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-09-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 --- Comment #2 from Michael M. --- As the toggle button status is stored in a cookie it is not persistent for users regularily switching browsers, or clearing their cookies, etc. Users who disabled WikiEditor will get it loaded even if CodeEdi

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-09-03 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 MZMcBride changed: What|Removed |Added CC||b...@mzmcbride.com --- Comment #1 from MZM

[Bug 46779] Provide a way to disable CodeEditor in user preferences

2013-04-02 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=46779 Andre Klapper changed: What|Removed |Added Priority|Unprioritized |Normal See Also|