protected override void OnUnrealized() { if (manager_window != IntPtr.Zero) { Gdk.Window gdkwin = Gdk.Window.ForeignNewForDisplay(Display, (uint)manager_window); if (gdkwin != null) { gdkwin.RemoveFilter(filter); } } Screen.RootWindow.RemoveFilter(filter); base.OnUnrealized(); }
private void ManagerWindowDestroyed() { if (manager_window != IntPtr.Zero) { Gdk.Window gdkwin = Gdk.Window.ForeignNewForDisplay(Display, (uint)manager_window); if (gdkwin != null) { gdkwin.RemoveFilter(filter); } manager_window = IntPtr.Zero; UpdateManagerWindow(true); } }