PowerToys/Wox.Core/UserSettings/UserSettingStorage.cs

173 lines
4.5 KiB
C#
Raw Normal View History

using System;
using System.Collections.Generic;
2015-10-31 07:17:34 +08:00
using System.Drawing;
using System.IO;
2015-10-31 07:17:34 +08:00
using System.Reflection;
2014-03-23 16:17:41 +08:00
using Newtonsoft.Json;
using Wox.Infrastructure.Storage;
namespace Wox.Core.UserSettings
{
public class UserSettingStorage : JsonStrorage<UserSettingStorage>
{
2014-12-14 23:16:29 +08:00
[JsonProperty]
public bool DontPromptUpdateMsg { get; set; }
2015-01-23 21:52:46 +08:00
[JsonProperty]
public int ActivateTimes { get; set; }
2015-01-21 23:00:56 +08:00
[JsonProperty]
public bool EnableUpdateLog { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
2014-02-22 11:55:48 +08:00
public string Hotkey { get; set; }
2014-03-23 16:17:41 +08:00
2015-01-02 16:16:09 +08:00
[JsonProperty]
public string Language { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
public string Theme { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
2014-03-19 22:17:01 +08:00
public string QueryBoxFont { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
public string QueryBoxFontStyle { get; set; }
[JsonProperty]
public string QueryBoxFontWeight { get; set; }
[JsonProperty]
public string QueryBoxFontStretch { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
2014-03-19 22:17:01 +08:00
public string ResultItemFont { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
public string ResultItemFontStyle { get; set; }
[JsonProperty]
public string ResultItemFontWeight { get; set; }
[JsonProperty]
public string ResultItemFontStretch { get; set; }
2014-06-16 14:06:24 +08:00
[JsonProperty]
public double WindowLeft { get; set; }
[JsonProperty]
public double WindowTop { get; set; }
public List<CustomizedPluginConfig> CustomizedPluginConfigs { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
2014-02-22 15:52:20 +08:00
public List<CustomPluginHotkey> CustomPluginHotkeys { get; set; }
2014-03-23 16:17:41 +08:00
[JsonProperty]
public bool StartWoxOnSystemStartup { get; set; }
2014-03-23 16:17:41 +08:00
[Obsolete]
2014-03-26 17:34:19 +08:00
[JsonProperty]
public double Opacity { get; set; }
[Obsolete]
2014-03-26 17:34:19 +08:00
[JsonProperty]
public OpacityMode OpacityMode { get; set; }
2014-07-18 20:00:55 +08:00
[JsonProperty]
public bool LeaveCmdOpen { get; set; }
2014-04-13 10:08:33 +08:00
[JsonProperty]
public bool HideWhenDeactive { get; set; }
2015-02-20 21:45:42 +08:00
[JsonProperty]
public bool RememberLastLaunchLocation { get; set; }
[JsonProperty]
public bool IgnoreHotkeysOnFullscreen { get; set; }
2014-07-18 20:00:55 +08:00
[JsonProperty]
public string ProxyServer { get; set; }
[JsonProperty]
public bool ProxyEnabled { get; set; }
[JsonProperty]
public int ProxyPort { get; set; }
[JsonProperty]
public string ProxyUserName { get; set; }
[JsonProperty]
public string ProxyPassword { get; set; }
[JsonProperty]
public int MaxResultsToShow { get; set; }
protected override string ConfigFolder
{
2015-01-24 22:34:55 +08:00
get { return Path.Combine(Path.GetDirectoryName(Assembly.GetExecutingAssembly().Location), "Config"); }
}
2014-03-23 16:17:41 +08:00
protected override string ConfigName
{
get { return "config"; }
}
2014-03-23 18:14:46 +08:00
2015-01-23 21:52:46 +08:00
public void IncreaseActivateTimes()
{
ActivateTimes++;
2015-07-17 15:08:39 +08:00
if (ActivateTimes%15 == 0)
2015-01-23 21:52:46 +08:00
{
Save();
}
}
protected override UserSettingStorage LoadDefault()
2014-03-23 18:14:46 +08:00
{
2014-12-14 23:16:29 +08:00
DontPromptUpdateMsg = false;
2014-03-23 18:14:46 +08:00
Theme = "Dark";
Language = "en";
CustomizedPluginConfigs = new List<CustomizedPluginConfig>();
2014-03-23 18:14:46 +08:00
Hotkey = "Alt + Space";
QueryBoxFont = FontFamily.GenericSansSerif.Name;
ResultItemFont = FontFamily.GenericSansSerif.Name;
2014-03-26 17:34:19 +08:00
Opacity = 1;
2014-07-18 20:00:55 +08:00
OpacityMode = OpacityMode.Normal;
LeaveCmdOpen = false;
2014-04-13 10:08:33 +08:00
HideWhenDeactive = false;
2015-02-10 23:48:09 +08:00
CustomPluginHotkeys = new List<CustomPluginHotkey>();
2015-02-20 21:45:42 +08:00
RememberLastLaunchLocation = false;
MaxResultsToShow = 6;
return this;
2014-03-23 18:14:46 +08:00
}
2014-03-26 17:34:19 +08:00
protected override void OnAfterLoad(UserSettingStorage storage)
{
if (storage.CustomizedPluginConfigs == null)
{
storage.CustomizedPluginConfigs = new List<CustomizedPluginConfig>();
}
2014-12-27 12:34:51 +08:00
if (storage.QueryBoxFont == null)
{
storage.QueryBoxFont = FontFamily.GenericSansSerif.Name;
}
if (storage.ResultItemFont == null)
{
storage.ResultItemFont = FontFamily.GenericSansSerif.Name;
}
2015-01-02 16:16:09 +08:00
if (storage.Language == null)
{
storage.Language = "en";
2015-01-02 16:16:09 +08:00
}
}
2014-03-26 17:34:19 +08:00
}
public enum OpacityMode
{
Normal = 0,
LayeredWindow = 1,
DWM = 2
}
2015-07-17 15:08:39 +08:00
}