mattercontrol/SettingsManagement/UserSettings.cs

116 lines
3.4 KiB
C#
Raw Normal View History

using System.Collections.Generic;
using MatterHackers.Agg.UI;
using MatterHackers.MatterControl.DataStorage;
2014-01-29 19:09:30 -08:00
namespace MatterHackers.MatterControl
{
public static class UserSettingsKey
{
public const string UpdateFeedType = nameof(UpdateFeedType);
public const string ApplicationDisplayMode = nameof(ApplicationDisplayMode);
public const string ApplicationTextSize = nameof(ApplicationTextSize);
public const string defaultRenderSetting = nameof(defaultRenderSetting);
public const string ThumbnailRenderingMode = nameof(ThumbnailRenderingMode);
public const string CredentialsInvalid = nameof(CredentialsInvalid);
public const string CredentialsInvalidReason = nameof(CredentialsInvalidReason);
public const string SliceSettingsLevel = nameof(SliceSettingsLevel);
public const string SliceSettingsShowHelp = nameof(SliceSettingsShowHelp);
public const string TerminalFilterOutput = nameof(TerminalFilterOutput);
public const string TerminalAutoUppercase = nameof(TerminalAutoUppercase);
public const string SliceSettingsTabPinned = nameof(SliceSettingsTabPinned);
public const string SliceSettingsTabIndex = nameof(SliceSettingsTabIndex);
public const string SliceSettingsWidth = nameof(SliceSettingsWidth);
public const string SliceSettingsWidget_CurrentTab = nameof(SliceSettingsWidget_CurrentTab);
2017-09-22 17:16:14 -07:00
public const string OpenScadPath = nameof(OpenScadPath);
}
2015-04-08 15:20:10 -07:00
public class UserSettings
{
private static UserSettings globalInstance = null;
private static readonly object syncRoot = new object();
2014-01-29 19:09:30 -08:00
private Dictionary<string, UserSetting> settingsDictionary;
private UserSettings()
2015-04-08 15:20:10 -07:00
{
// Load the UserSettings from the database
2016-01-05 18:55:34 -08:00
settingsDictionary = new Dictionary<string, UserSetting>();
foreach(var userSetting in Datastore.Instance.dbSQLite.Query<UserSetting>("SELECT * FROM UserSetting;"))
{
// LastValueWins - allow for duplicate entries in the database with the same .Name value
2016-01-05 18:55:34 -08:00
settingsDictionary[userSetting.Name] = userSetting;
}
// Set English as default language if unset
if (string.IsNullOrEmpty(this.get("Language")))
{
2016-01-06 10:41:18 -08:00
this.set("Language", "en");
}
// Propagate Language to local property
this.Language = this.get("Language");
2015-04-08 15:20:10 -07:00
}
2014-01-29 19:09:30 -08:00
2015-04-08 15:20:10 -07:00
public static UserSettings Instance
{
get
{
if (globalInstance == null)
{
lock(syncRoot)
{
if (globalInstance == null)
{
globalInstance = new UserSettings();
ToolTipManager.AllowToolTips = !UserSettings.Instance.IsTouchScreen;
}
}
2015-04-08 15:20:10 -07:00
}
2014-01-29 19:09:30 -08:00
2015-04-08 15:20:10 -07:00
return globalInstance;
}
}
2014-01-29 19:09:30 -08:00
public string Language { get; private set; }
public UserSettingsFields Fields { get; private set; } = new UserSettingsFields();
2015-04-08 15:20:10 -07:00
public string get(string key)
{
UserSetting userSetting;
if (settingsDictionary.TryGetValue(key, out userSetting))
{
return userSetting.Value;
2015-04-08 15:20:10 -07:00
}
return null;
2015-04-08 15:20:10 -07:00
}
2014-01-29 19:09:30 -08:00
2015-04-08 15:20:10 -07:00
public void set(string key, string value)
{
UserSetting setting;
2014-01-29 19:09:30 -08:00
if(!settingsDictionary.TryGetValue(key, out setting))
{
// If the setting for the given key doesn't exist, create it
setting = new UserSetting()
{
Name = key
};
2015-04-08 15:20:10 -07:00
settingsDictionary[key] = setting;
}
2014-01-29 19:09:30 -08:00
// Special case to propagate Language to local property on assignment
if(key == "Language")
2015-04-08 15:20:10 -07:00
{
this.Language = value;
2015-04-08 15:20:10 -07:00
}
2014-01-29 19:09:30 -08:00
setting.Value = value;
setting.Commit();
2015-04-08 15:20:10 -07:00
}
2016-04-29 07:45:15 -07:00
public bool IsTouchScreen => this.get(UserSettingsKey.ApplicationDisplayMode) == "touchscreen";
2015-04-08 15:20:10 -07:00
}
}