@wiptheia/preferences
Theia - Preferences Extension
Last updated 9 months ago by florentbenoit .
Apache-2.0 · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install @wiptheia/preferences 
SYNC missed versions from official npm registry.

Theia - Preferences Extension

This package includes preferences implementation for the preferences api defined in @wiptheia/core. This provides two preference providers, one for the user home directory, and one for the workspace, which has precedence over the previous one. To set preferences, create or edit a settings.json under the .theia folder located either in the user home, or the root of the workspace.

Example of a settings.json below:

{
    // Enable/Disable the line numbers in the monaco editor
	"editor.lineNumbers": "off",
    // Tab width in the editor
	"editor.tabSize": 4,
	"files.watcherExclude": "path/to/file"
}

License

Apache-2.0

Current Tags

  • 0.3.101529329103                                ...           latest (9 months ago)

27 Versions

  • 0.3.101529329103                                ...           9 months ago
  • 0.3.101529316316                                ...           9 months ago
  • 0.3.101528895082                                ...           9 months ago
  • 0.3.101528878795                                ...           9 months ago
  • 0.3.101528708905                                ...           9 months ago
  • 0.3.101528377761                                ...           9 months ago
  • 0.3.101528290741                                ...           9 months ago
  • 0.3.101528281264                                ...           9 months ago
  • 0.3.101528129305                                ...           10 months ago
  • 0.3.101527835504                                ...           10 months ago
  • 0.3.101527832848                                ...           10 months ago
  • 0.3.101527753241                                ...           10 months ago
  • 0.3.101527588686                                ...           10 months ago
  • 0.3.101527586002                                ...           10 months ago
  • 0.3.101527002539                                ...           10 months ago
  • 0.3.101526987926                                ...           10 months ago
  • 0.3.101526566172                                ...           10 months ago
  • 0.3.101526551125                                ...           10 months ago
  • 0.3.101526482398                                ...           10 months ago
  • 0.3.101526459551                                ...           10 months ago
  • 0.3.101526392268                                ...           10 months ago
  • 0.3.101526308334                                ...           10 months ago
  • 0.3.101525848197                                ...           10 months ago
  • 0.3.10-1525791437                                ...           10 months ago
  • 0.3.10-1525707650                                ...           10 months ago
  • 0.3.10-1525704775                                ...           10 months ago
  • 0.3.10-1525702354                                ...           10 months ago
Downloads
Today 0
This Week 0
This Month 2
Last Day 0
Last Week 0
Last Month 109
Dependencies (7)
Dev Dependencies (1)
Dependents (1)

Copyright 2014 - 2016 © taobao.org |