2020-08-28 10:03:45 +02:00
|
|
|
"*":
|
|
|
|
|
core:
|
|
|
|
|
autoHideMenuBar: true
|
|
|
|
|
telemetryConsent: "no"
|
|
|
|
|
themes: [
|
|
|
|
|
"one-dark-ui"
|
|
|
|
|
"dun-syntax"
|
|
|
|
|
]
|
|
|
|
|
editor:
|
2020-09-17 10:31:01 +02:00
|
|
|
fontFamily: "Iosevka Term SS08"
|
2020-09-11 21:03:16 +02:00
|
|
|
fontSize: 27
|
|
|
|
|
scrollPastEnd: true
|
2020-08-28 10:03:45 +02:00
|
|
|
"exception-reporting":
|
|
|
|
|
userId: "6f9fc289-7b3c-4490-937e-5e58e9765c5e"
|
|
|
|
|
"status-bar":
|
|
|
|
|
isVisible: false
|
|
|
|
|
welcome:
|
|
|
|
|
showOnStartup: false
|
