83 lines
2.6 KiB
Markdown
83 lines
2.6 KiB
Markdown
<div align='center'>
|
|
|
|
<br />
|
|
|
|
<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
|
|
|
|
<h2>ECLIPSE THEIA - PREFERENCES EXTENSION</h2>
|
|
|
|
<hr />
|
|
|
|
</div>
|
|
|
|
## Description
|
|
|
|
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 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:
|
|
|
|
```typescript
|
|
{
|
|
// 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:
|
|
|
|
```typescript
|
|
{
|
|
"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
|
|
|
|
- [API documentation for `@theia/preferences`](https://eclipse-theia.github.io/theia/docs/next/modules/_theia_preferences.html)
|
|
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
|
|
- [Theia - Website](https://theia-ide.org/)
|
|
|
|
## License
|
|
|
|
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
|
|
## Trademark
|
|
|
|
"Theia" is a trademark of the Eclipse Foundation
|
|
<https://www.eclipse.org/theia>
|
|
|
|
# Theia - Preferences Extension
|
|
|
|
## License
|
|
|
|
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|