ECLIPSE THEIA - PREFERENCES EXTENSION
Description
The @theia/preferences extension implements the preferences API defined in @theia/core, including the four preference providers:
DefaultPreference, which serves as default values of preferences,UserPreference for the user home directory, which has precedence over the default values,WorkspacePreference for the workspace, which has precedence over User Preference, andFolderPreference for the root folder, which has precedence over the Workspace Preference
To set:
UserPreferences: Create or edit asettings.jsonunder the.theiafolder located either in the user home.WorkspacePreference: If one folder is opened as the workspace, create or edit asettings.jsonunder the root of the workspace. If a multi-root workspace is opened, create or edit the "settings" property in the workspace file.FolderPreferences: Create or edit asettings.jsonunder 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,
}
}
Additional Information
License
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
Trademark
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia