@devpodio/preferences
Theia - Preferences Extension
$ cnpm install @devpodio/preferences 
SYNC missed versions from official npm registry.

Theia - Preferences Extension

This package includes preferences implementation for the preferences api defined in @devpodio/core, which provides four preference providers:

  • Default Preference, which serves as default values of preferences,
  • User Preference for the user home directory, which has precedence over the default values,
  • Workspace Preference for the workspace, which has precedence over User Preference, and
  • Folder Preference for the root folder, which has precedence over the Workspace Preference

To set

  • User Preferences: Create or edit a settings.json under the .theia folder located either in the user home.
  • Workspace Preference: If one folder is opened as the workspace, create or edit a settings.json under the root of the workspace. If a multi-root workspace is opened, create or edit the "settings" property in the workspace file.
  • Folder Preferences: Create or edit a settings.json under any of the root folders.

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"
}

Example of a workspace file below:

{
   "folders": [
      {
         "path": "file:///home/username/helloworld"
	  },
	  {
         "path": "file:///home/username/dev/byeworld"
      }
   ],
   "settings": {
      // Enable/Disable the line numbers in the monaco editor
	  "editor.lineNumbers": "off",
      // Tab width in the editor
	  "editor.tabSize": 4,
   }
}

License

Current Tags

  • 0.5.2                                ...           latest (6 months ago)

16 Versions

  • 0.5.2                                ...           6 months ago
  • 0.5.1                                ...           6 months ago
  • 0.5.0                                ...           6 months ago
  • 0.4.4                                ...           7 months ago
  • 0.4.3                                ...           7 months ago
  • 0.4.2                                ...           7 months ago
  • 0.4.1                                ...           7 months ago
  • 0.4.0-latest.4                                ...           7 months ago
  • 0.4.0-latest.3                                ...           7 months ago
  • 0.4.0-latest.2                                ...           7 months ago
  • 0.4.0-latest.1                                ...           7 months ago
  • 0.3.20                                ...           a year ago
  • 0.3.19                                ...           a year ago
  • 0.3.18                                ...           a year ago
  • 0.3.17                                ...           a year ago
  • 0.3.16                                ...           a year ago
Maintainers (2)
Downloads
Today 0
This Week 0
This Month 46
Last Day 0
Last Week 46
Last Month 0
Dev Dependencies (1)

Copyright 2014 - 2016 © taobao.org |