2025-05-15 10:35:57 +00:00
|
|
|
|
using System;
|
|
|
|
|
|
using Flow.Launcher.Infrastructure.UserSettings;
|
2020-04-21 09:12:17 +00:00
|
|
|
|
using Flow.Launcher.Plugin;
|
2025-05-15 10:35:57 +00:00
|
|
|
|
using Flow.Launcher.SettingPages.Views;
|
2016-05-21 21:44:27 +00:00
|
|
|
|
|
2024-05-20 03:05:22 +00:00
|
|
|
|
namespace Flow.Launcher.ViewModel;
|
2022-11-18 16:47:04 +00:00
|
|
|
|
|
2025-01-13 04:00:45 +00:00
|
|
|
|
public partial class SettingWindowViewModel : BaseModel
|
2024-05-20 03:05:22 +00:00
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
private readonly Settings _settings;
|
2023-01-01 15:22:16 +00:00
|
|
|
|
|
2025-02-23 13:54:08 +00:00
|
|
|
|
public SettingWindowViewModel(Settings settings)
|
2024-05-20 03:05:22 +00:00
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
_settings = settings;
|
2025-01-12 12:04:44 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
2025-05-15 11:51:30 +00:00
|
|
|
|
public void SetPageType(Type pageType)
|
|
|
|
|
|
{
|
|
|
|
|
|
_pageType = pageType;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2025-05-15 10:35:57 +00:00
|
|
|
|
private Type _pageType = typeof(SettingsPaneGeneral);
|
|
|
|
|
|
public Type PageType
|
|
|
|
|
|
{
|
|
|
|
|
|
get => _pageType;
|
|
|
|
|
|
set
|
|
|
|
|
|
{
|
|
|
|
|
|
if (_pageType != value)
|
|
|
|
|
|
{
|
|
|
|
|
|
_pageType = value;
|
|
|
|
|
|
OnPropertyChanged();
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2024-05-20 03:05:22 +00:00
|
|
|
|
public double SettingWindowWidth
|
|
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
get => _settings.SettingWindowWidth;
|
|
|
|
|
|
set => _settings.SettingWindowWidth = value;
|
2024-05-20 03:05:22 +00:00
|
|
|
|
}
|
2022-09-27 06:44:00 +00:00
|
|
|
|
|
2024-05-20 03:05:22 +00:00
|
|
|
|
public double SettingWindowHeight
|
|
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
get => _settings.SettingWindowHeight;
|
|
|
|
|
|
set => _settings.SettingWindowHeight = value;
|
2024-05-20 03:05:22 +00:00
|
|
|
|
}
|
2024-04-12 16:10:25 +00:00
|
|
|
|
|
2024-05-29 09:16:35 +00:00
|
|
|
|
public double? SettingWindowTop
|
2024-05-20 03:05:22 +00:00
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
get => _settings.SettingWindowTop;
|
|
|
|
|
|
set => _settings.SettingWindowTop = value;
|
2024-05-20 03:05:22 +00:00
|
|
|
|
}
|
2022-11-19 22:16:11 +00:00
|
|
|
|
|
2024-05-29 09:16:35 +00:00
|
|
|
|
public double? SettingWindowLeft
|
2024-05-20 03:05:22 +00:00
|
|
|
|
{
|
2025-04-24 13:51:14 +00:00
|
|
|
|
get => _settings.SettingWindowLeft;
|
|
|
|
|
|
set => _settings.SettingWindowLeft = value;
|
2016-05-21 21:44:27 +00:00
|
|
|
|
}
|
2016-11-20 20:01:47 +00:00
|
|
|
|
}
|