Skip to content

Instantly share code, notes, and snippets.

@lanrat

lanrat/settings.json

Created July 29, 2018 04:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lanrat/19909df39a31da0ceba3dc6509a217cf to your computer and use it in GitHub Desktop.
Save lanrat/19909df39a31da0ceba3dc6509a217cf to your computer and use it in GitHub Desktop.
Download ZIP
theia settings
Raw
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
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment