Thread:Extension talk:CodeEditor/How to disable?/reply (14)