public override void Dispose () { UninstallPreferences (); base.Dispose (); bp_destroy (handle); handle = new HandleRef (this, IntPtr.Zero); is_initialized = false; }