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

Thanks for the pointers. I left a comment on bug 46779 with a link back to this discussion.