Thread:Extension talk:CodeEditor/How to disable?/reply

There is a toolbar option that disables the editor (remembered by cookie). There is no preference option (and I doubt we will add it).