public void NewPrefs(Prefs prefs) { open_close_renderer(GlobalPrefs.ThePrefs.SIDType, prefs.SIDType); if (the_renderer != null) the_renderer.NewPrefs(prefs); }