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);
}
}
