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

Because in general we want to have fewer preference options, especially when it comes to preferences that are used by a very small set of users.