@theia/preferences

    1.18.0 • Public • Published

    theia-ext-logo

    ECLIPSE THEIA - PREFERENCES EXTENSION


    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:

    {
        // 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

    Trademark

    "Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia

    Theia - Preferences Extension

    License

    Install

    npm i @theia/preferences

    DownloadsWeekly Downloads

    8,668

    Version

    1.18.0

    License

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

    Unpacked Size

    734 kB

    Total Files

    184

    Last publish

    Collaborators

    • bhufmann
    • vince-fugnitto
    • eclipsetheia