Fix bug causing crash when starting the app for the first time (without a config file)

This commit is contained in:
Jonatan Heyman 2024-01-10 09:55:38 +01:00
parent 73c3d12e38
commit fea7e3cec2

View File

@ -34,8 +34,12 @@ const schema = {
"showInDock": {type: "boolean", default: true}, "showInDock": {type: "boolean", default: true},
"showInMenu": {type: "boolean", default: false}, "showInMenu": {type: "boolean", default: false},
"bracketClosing": {type: "boolean", default: false}, "bracketClosing": {type: "boolean", default: false},
"fontFamily": {type: "string"},
"fontSize": {type: "integer"}, // when default font settings are used, fontFamily and fontSize is not specified in the
// settings file, so that it's possible for us to change the default settings in the
// future and have it apply to existing users
"fontFamily": {type: "string"},
"fontSize": {type: "integer"},
}, },
}, },
@ -64,8 +68,6 @@ const defaults = {
showInDock: true, showInDock: true,
showInMenu: false, showInMenu: false,
bracketClosing: false, bracketClosing: false,
fontFamily: null, // we use null for the default font family and size, since we could then change
fontSize: null, // the default font family and size in the future and have it apply to existing users
}, },
theme: "system", theme: "system",
} }