int get_monitor_at_window(GdkWindow window);