Fix closing taskman with Esc (Bug #16656)
This commit is contained in:
committed by
Simon Steinbeiss
parent
6923bebe62
commit
6c78030661
@@ -415,6 +415,10 @@ xtm_process_window_key_pressed (XtmProcessWindow *window, GdkEventKey *event)
|
||||
|
||||
if (event->keyval == GDK_KEY_Escape ||
|
||||
(event->keyval == GDK_KEY_q && (event->state & GDK_CONTROL_MASK))) {
|
||||
if (gtk_main_level () > 0) {
|
||||
xtm_settings_save_settings(window->settings);
|
||||
gtk_main_quit ();
|
||||
}
|
||||
ret = TRUE;
|
||||
}
|
||||
else if (event->keyval == GDK_KEY_f && (event->state & GDK_CONTROL_MASK)) {
|
||||
|
||||
Reference in New Issue
Block a user