Setting config

mcg1103 · 31 May 2023 23:12

I am trying to figure out how theia configures settings/preferences.
For example the git package, how are settings configured for that package? How are the available configurations set so they show up in the preferences/settings panel?
Thanks,
Mark

vince-fugnitto · 1 June 2023 11:59

@mcg1103 thank you for the discussion!

The framework supports PreferenceContribution from which you can contribute preference schemas.

The @theia/git preferences are contributed in git-preferences.ts:

github.com

eclipse-theia/theia/blob/b59581b411f33c639bfd68f23ec357280b9fdadf/packages/git/src/browser/git-preferences.ts#L23-L68

      
        
            export const GitConfigSchema: PreferenceSchema = {
                'type': 'object',
                'properties': {
                    'git.decorations.enabled': {
                        'type': 'boolean',
                        'description': nls.localize('vscode.git/package/config.decorations.enabled', 'Show Git file status in the navigator.'),
                        'default': true
                    },
                    'git.decorations.colors': {
                        'type': 'boolean',
                        'description': nls.localize('theia/git/gitDecorationsColors', 'Use color decoration in the navigator.'),
                        'default': true
                    },
                    'git.editor.decorations.enabled': {
                        'type': 'boolean',
                        'description': nls.localize('theia/git/editorDecorationsEnabled', 'Show git decorations in the editor.'),
                        'default': true
                    },
                    'git.editor.dirtyDiff.linesLimit': {
                        'type': 'number',

This file has been truncated. show original

For additional information on preferences you may interested in looking at the documentation provided on the website.