Violentmonkey: Feature request: More editor options?

Created on 16 Oct 2017  路  4Comments  路  Source: violentmonkey/violentmonkey

What is the problem?

CodeMirror provides many options such as indentUnit, tabSize, theme, highlight, etc. Plan to support some of the essentials?

How to reproduce it?

  1. Open any script
  2. Try to find option to, say change indentation spaces

What is the expected result?

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.

What is the actual result?

Currently Violentmonkey does not provide any option to control the editor.

Environment

  • Browser: Firefox
  • Browser version: 58 nightly
  • Violentmonkey version: 2.8.13
  • OS: Windows 10
discussion

Most helpful comment

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

All 4 comments

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.

Was this page helpful?
0 / 5 - 0 ratings

Related issues

rayman89 picture rayman89  路  4Comments

akiirui picture akiirui  路  3Comments

Luke-Baker picture Luke-Baker  路  4Comments

bitWolfy picture bitWolfy  路  5Comments

arrowsmith picture arrowsmith  路  3Comments