alnoda-workspaces/workspaces/theia-workspace/theia_settings.json at main - CodeMirror/alnoda-workspaces - Codelabs

CodeMirror/alnoda-workspaces

mirror of https://github.com/bluxmit/alnoda-workspaces.git synced 2024-05-19 13:32:21 +12:00

bluxmit 325eeeccd8 prep for release 4.0 (alnoda-wrk)

2022-09-17 08:23:45 +00:00

6 lines

183 B

JSON

Raw Permalink Blame History

 {
     "terminal.integrated.shell.linux": "/bin/zsh",
     "workbench.colorTheme": "Ayu Mirage Bordered",
     "git-graph.maxDepthOfRepoSearch": 3,
     "workbench.iconTheme": "vs-seti"
 }