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

I invested some time to bring all of this together. Will take a while before it's all passed review I think, but I think it works quite nice and intuitive with the patch that I created.