Merge remote-tracking branch 'origin/main' into panels

2023-05-23 08:24:28 +02:00
parent f22067b236 a5b5de5651
commit 208ff2fba7
33 changed files with 827 additions and 309 deletions
@@ -11,7 +11,7 @@ pub struct WorkspaceSettings {
    pub git: GitSettings,
 }

-#[derive(Clone, Serialize, Deserialize, JsonSchema)]
+#[derive(Clone, Default, Serialize, Deserialize, JsonSchema)]
 pub struct WorkspaceSettingsContent {
    pub active_pane_magnification: Option<f32>,
    pub confirm_quit: Option<bool>,