I realize this is a stretch because I can't give you a decent demo to test with. We use GWT/GXT environment and I have our codeMirror class extending a gxt field.
I initialize codeMirror thusly
var element = $doc.getElementById(id);
var theCM = $wnd.CodeMirror.fromTextArea(
element,
{
mode: cmOptions["mode"],
readOnly: cmOptions["readOnly"],
lineNumbers: cmOptions["lineNumbers"],
lineWrapping: cmOptions["lineWrapping"],
value: cmOptions["value"],
viewportMargin: Infinity
}
);
There are no issues in old or new firefox's, chrome or Edge .. but for some reason IE 11 shows no scrollbar (and mouse wheel doesn't scroll either).
Check if the element with the class CodeMirror-scroll still has the overflow: scroll style. Other than that, I can't suggest much, except trying to reproduce this in a simplified way.
I realize this is a stretch because I can't give you a decent demo to test with. We use GWT/GXT environment and I have our codeMirror class extending a gxt field.
I initialize codeMirror thusly var element = $doc.getElementById(id); var theCM = $wnd.CodeMirror.fromTextArea( element, { mode: cmOptions["mode"], readOnly: cmOptions["readOnly"], lineNumbers: cmOptions["lineNumbers"], lineWrapping: cmOptions["lineWrapping"], value: cmOptions["value"], viewportMargin: Infinity } );
There are no issues in old or new firefox's, chrome or Edge .. but for some reason IE 11 shows no scrollbar (and mouse wheel doesn't scroll either).
Anyone have any ideas I can try? Thanks