2017-03-01 12:34:21 +00:00
|
|
|
"*":
|
|
|
|
core:
|
|
|
|
telemetryConsent: "no"
|
|
|
|
themes: [
|
|
|
|
"one-dark-ui"
|
|
|
|
"base16-tomorrow-dark-theme"
|
|
|
|
]
|
|
|
|
editor:
|
|
|
|
fontSize: 10
|
|
|
|
"exception-reporting":
|
|
|
|
userId: "20e0c61d-eca4-03f1-2f3a-a82ae80acbe3"
|
|
|
|
"git-plus":
|
2017-03-01 17:17:20 +00:00
|
|
|
commits:
|
|
|
|
verboseCommits: true
|
2017-03-01 12:34:21 +00:00
|
|
|
experimental:
|
|
|
|
useSplitDiff: true
|
|
|
|
general:
|
|
|
|
splitPane: "Right"
|
|
|
|
"split-diff":
|
|
|
|
ignoreWhitespace: true
|
|
|
|
syncHorizontalScroll: true
|
|
|
|
welcome:
|
|
|
|
showOnStartup: false
|