@quarks/theia-preferences

1.0.5 • Public • Published

Theia - Preferences Extension

This package includes preferences implementation for the preferences api defined in @theia/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

Readme

Keywords

Package Sidebar

Install

npm i @quarks/theia-preferences

Weekly Downloads

0

Version

1.0.5

License

EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0

Unpacked Size

115 kB

Total Files

47

Last publish

Collaborators

  • gabriel.campos
  • ademar.carneiro