Hello,
Is there a generic settings GUI for CodeMirror ?
i.e. a JS lib to which I’d pass the instance variable, and would provide an HTML form element containing all user-editable preferences like font size/family, indent mode, etc.
Thanks
Hello,
Is there a generic settings GUI for CodeMirror ?
i.e. a JS lib to which I’d pass the instance variable, and would provide an HTML form element containing all user-editable preferences like font size/family, indent mode, etc.
Thanks
No, there is not. There’s not even a general concept of which settings an editor would support.