Hello,
Apparently, CodeMirror creates another textarea which ID is not "w p Textbox1" (I add spaces because a stupid spam filter rejects my message otherwise). Therefore any customization of gadget that is based on that ID will not work with CodeMirror. Am I correct?
It took me quite a while to understand that a few days ago when the user interface was suddenly broken because of the activation of CodeMirror (I guess I accidentally clicked on a small pencil in the toolbar and thus activated this extension, which I knew nothing about).
Of course I deactivated CodeMirror as soon as I understood what was happening, but code hightlighting might be useful, so is there any way to maintain Javascript customizations in the editing field? When I read the source code, I cannot see any ID in the various DIVs used by CodeMirror. Thanks.