Settings GUI ?

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.