From 24dba2cbcaf6f1b6942a53304f03d8e870b500d8 Mon Sep 17 00:00:00 2001 From: DB p Date: Sat, 12 Nov 2022 18:46:48 +0900 Subject: [PATCH 1/2] Add WindowState Setting --- Flow.Launcher.Infrastructure/UserSettings/Settings.cs | 2 ++ Flow.Launcher/SettingWindow.xaml.cs | 2 ++ 2 files changed, 4 insertions(+) diff --git a/Flow.Launcher.Infrastructure/UserSettings/Settings.cs b/Flow.Launcher.Infrastructure/UserSettings/Settings.cs index 7ead7459f..21d0a9a20 100644 --- a/Flow.Launcher.Infrastructure/UserSettings/Settings.cs +++ b/Flow.Launcher.Infrastructure/UserSettings/Settings.cs @@ -53,6 +53,8 @@ namespace Flow.Launcher.Infrastructure.UserSettings public double SettingWindowTop { get; set; } public double SettingWindowLeft { get; set; } + public System.Windows.WindowState SettingWindowState { get; set; } = WindowState.Normal; + public int CustomExplorerIndex { get; set; } = 0; [JsonIgnore] diff --git a/Flow.Launcher/SettingWindow.xaml.cs b/Flow.Launcher/SettingWindow.xaml.cs index c6bb93b50..0100c31d1 100644 --- a/Flow.Launcher/SettingWindow.xaml.cs +++ b/Flow.Launcher/SettingWindow.xaml.cs @@ -253,6 +253,7 @@ namespace Flow.Launcher private void OnClosed(object sender, EventArgs e) { + settings.SettingWindowState = WindowState; settings.SettingWindowTop = Top; settings.SettingWindowLeft = Left; viewModel.Save(); @@ -553,6 +554,7 @@ namespace Flow.Launcher Top = WindowTop(); Left = WindowLeft(); } + WindowState = settings.SettingWindowState; } public double WindowLeft() { From f7b3534eec04698f3354bc83da1ef9779d9f43f2 Mon Sep 17 00:00:00 2001 From: DB p Date: Sat, 12 Nov 2022 18:55:17 +0900 Subject: [PATCH 2/2] formatting --- Flow.Launcher.Infrastructure/UserSettings/Settings.cs | 1 - 1 file changed, 1 deletion(-) diff --git a/Flow.Launcher.Infrastructure/UserSettings/Settings.cs b/Flow.Launcher.Infrastructure/UserSettings/Settings.cs index 21d0a9a20..33072b53d 100644 --- a/Flow.Launcher.Infrastructure/UserSettings/Settings.cs +++ b/Flow.Launcher.Infrastructure/UserSettings/Settings.cs @@ -52,7 +52,6 @@ namespace Flow.Launcher.Infrastructure.UserSettings public double SettingWindowHeight { get; set; } = 700; public double SettingWindowTop { get; set; } public double SettingWindowLeft { get; set; } - public System.Windows.WindowState SettingWindowState { get; set; } = WindowState.Normal; public int CustomExplorerIndex { get; set; } = 0;