/// <summary>
/// Changes the settings provider so as to store settings in Helper.GetAppdataPath(), not some cryptic directory as is standard.
/// </summary>
/// <param name="settings"></param>
public static void RewireSettingsProvider(ApplicationSettingsBase settings)
{
string SettingsFile = Path.Combine(Helper.GetAppdataPath(), "TikzEdt.settings");
var portableSettingsProvider = new TESettingsProvider(SettingsFile);
settings.Providers.Add(portableSettingsProvider);
foreach (System.Configuration.SettingsProperty prop in settings.Properties)
prop.Provider = portableSettingsProvider;
if (File.Exists(SettingsFile)) // mono throws an exception if one reloads w/o file present for some unknown reason
settings.Reload();
}
/// <summary>
/// Changes the settings provider so as to store settings in Helper.GetAppdataPath(), not some cryptic directory as is standard.
/// </summary>
/// <param name="settings"></param>
public static void RewireSettingsProvider(ApplicationSettingsBase settings)
{
string SettingsFile = Path.Combine(Helper.GetAppdataPath(), "TikzEdt.settings");
var portableSettingsProvider = new TESettingsProvider(SettingsFile);
settings.Providers.Add(portableSettingsProvider);
foreach (System.Configuration.SettingsProperty prop in settings.Properties)
{
prop.Provider = portableSettingsProvider;
}
if (File.Exists(SettingsFile)) // mono throws an exception if one reloads w/o file present for some unknown reason
{
settings.Reload();
}
}
