public void SetSettings(GenericSettings s)
{
if (s.GetType() != SettingsType)
{
throw new Exception("Wrong type of settings used");
}
Profile p = ByName(ProfileManager.ScratchPadName);
if (p == null)
{
p = genScratchpad();
profiles.Add(p);
}
p.BaseSettings = s;
SelectedProfile = p;
}
public void SetSettings(GenericSettings s)
{
bySettingsType(s.GetType()).SetSettings(s);
}
