theia settings

settings.json

/*
Preference file for user scope

Please refer to the documentation online (https://github.com/theia-ide/theia/blob/master/packages/preferences/README.md) to learn how preferences work in Theia
*/
{
    "git.decorations.colors": true

    "editor.minimap.enabled": true

    "editor.rulers": [80]

    /*"editor.mouseWheelZoom": true*/

    /*"editor.autoIndent": true*/
    "editor.emptySelectionClipboard": true
}