private void UninstallPreferences () { pref_page.Dispose (); pref_page = null; pref_section = null; }