@wiptheia/preferences v0.3.101529329103

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