diff options
Diffstat (limited to 'libs/gtkmm2ext/gtk_ui.cc')
-rw-r--r-- | libs/gtkmm2ext/gtk_ui.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc index eed78e1fdb..58178056c2 100644 --- a/libs/gtkmm2ext/gtk_ui.cc +++ b/libs/gtkmm2ext/gtk_ui.cc @@ -591,7 +591,8 @@ UI::flush_pending () bool UI::just_hide_it (GdkEventAny *ev, Window *win) { - win->hide_all (); + cerr << "++++ JUST HIDING " << win->get_window() << endl; + win->hide (); return true; } |