public override void Dispose() { if(dock != null) { dock.Destroy(); dock = null; } if(click_id != 0) { GLib.Source.Remove(click_id); click_id = 0; } base.Dispose(); }