private updateSettings ( |
||
currentSettings | ||
defaultSettings | ||
Résultat | void |
private void updateSettings(PluginSettings currentSettings, PluginSettings defaultSettings)
{
ICollection defaultKeys = defaultSettings.Keys;
String[] defaults = new String[defaultKeys.Count];
defaultKeys.CopyTo(defaults, 0);
foreach (String s in defaults)
if (currentSettings[s] == null) currentSettings[s] = defaultSettings[s];
}