The @theia/preferences
extension implements the preferences API defined in @theia/core
, including the 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 asettings.json
under the.theia
folder located either in the user home. -
Workspace
Preference: If one folder is opened as the workspace, create or edit asettings.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 asettings.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,
}
}
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia