public void UpdateQuery () { main_window.GdkWindow.Cursor = watch; main_window.GdkWindow.Display.Sync (); query.RequestReload (); main_window.GdkWindow.Cursor = null; }