Skip to content

Instantly share code, notes, and snippets.

@lanrat
Created July 29, 2018 04:53
Show Gist options
  • Save lanrat/19909df39a31da0ceba3dc6509a217cf to your computer and use it in GitHub Desktop.
Save lanrat/19909df39a31da0ceba3dc6509a217cf to your computer and use it in GitHub Desktop.
theia settings
/*
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
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment