CodeMirror provides many options such as indentUnit, tabSize, theme, highlight, etc. Plan to support some of the essentials?
Some options to control the editor. For example, the one Stylus provides (Stylus uses CodeMirror as well).
The "Custom Style" editor should share the options as well.
Currently Violentmonkey does not provide any option to control the editor.
You can append any CSS in "Custom Style", including that applied to CodeMirror.
I don't think it a good idea to edit or develop scripts in such an editor, because it can never be as convenient and powerful as your local editor. Since an alternative is provided, I don't think it necessary to provide a lot of options for an editor.
About the custom style, I meant if the script editor can be configured to have 4 space indentation, that style editor should have 4 space indentation too.
I personally would prefer having the options, since CodeMirror already have those features implemented. Of course, if you feel the editor options are not needed, feel free to close the issue.
I don't think it a good idea to edit or develop scripts in such an editor, because it can never be as convenient and powerful as your local editor. Since an alternative is provided, I don't think it necessary to provide a lot of options for an editor.
This option isn't available in Firefox though that might get fixed eventually. Besides, I think features like auto completion would be useful for quick edits. Alternatively, you could use a lighter editor like Ace which supports just the basics
A few editor options would be nice. It's very convenient to be able to edit the script in place instead of copying it to/from somewhere else. If possible some syntax checking would be a great feature.
Most helpful comment
This option isn't available in Firefox though that might get fixed eventually. Besides, I think features like auto completion would be useful for quick edits. Alternatively, you could use a lighter editor like Ace which supports just the basics