search

vmware-archive / scripted

The Scripted code editor
Eclipse Public License 1.0
1.56k stars 166 forks source link

Sort out ui/editor configuration #163

Open aclement opened 11 years ago

aclement commented 11 years ago

Font/fontsize currently configurable through ui block. tab/spacing in editor block. We need to consolidate this but also keep in mind that other areas of the UI may be configurable, e.g. navigator. Does that get its own config block? Can I set one font size across the whole of scripted to 'scale' the entire experience? Where does the theme support for the editor fit in?

aeisenberg commented 11 years ago

Related issue is this block:

 { "formatter": {
    "js": {
      "indent_size": 1,
      "indent_char": "\t"
    }
  }

it duplicates the editor options. I'd say that we deprecate the above and use the editor options to feed the formatter.

aclement commented 11 years ago

it doesn't duplicate those options directly, the formatter ones are actually more flexible. They are set based on any editor configuration supplied. But, yes, configuring the formatter also feeds into this sort-out issue.

jeremyg484 commented 11 years ago

While such things are getting sorted, can we get indent size and indent character individually configurable for different file types? Consider the example of having some YAML files, which require using spaces instead of tabs, within a project where you might want to use tabs for everything else.