diff options
| author | Omar Zeidan <[email protected]> | 2017-12-20 20:30:44 +0100 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2018-01-01 13:47:16 -0500 |
| commit | 9e2b7eff713b6881a60538e08e222dad0d364647 (patch) | |
| tree | dbee16b716703a6bb8ed9be8ab450a6c566c7d0d /src/core/display.c | |
| parent | 294d3ec5a0ae4a818fb2ce53d27a0a935a9ef760 (diff) | |
| download | marco-9e2b7eff713b6881a60538e08e222dad0d364647.tar.bz2 marco-9e2b7eff713b6881a60538e08e222dad0d364647.tar.xz | |
Implemented tabpopup when moving window to different workspace
Diffstat (limited to 'src/core/display.c')
| -rw-r--r-- | src/core/display.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/core/display.c b/src/core/display.c index 9601b4ed..006cb6ff 100644 --- a/src/core/display.c +++ b/src/core/display.c @@ -1156,6 +1156,7 @@ grab_op_is_keyboard (MetaGrabOp op) case META_GRAB_OP_KEYBOARD_ESCAPING_DOCK: case META_GRAB_OP_KEYBOARD_ESCAPING_GROUP: case META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING: + case META_GRAB_OP_KEYBOARD_WORKSPACE_MOVING: return TRUE; default: @@ -3736,6 +3737,7 @@ meta_display_begin_grab_op (MetaDisplay *display, META_TAB_SHOW_INSTANTLY); case META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING: + case META_GRAB_OP_KEYBOARD_WORKSPACE_MOVING: meta_screen_ensure_workspace_popup (screen); break; @@ -3785,7 +3787,8 @@ meta_display_end_grab_op (MetaDisplay *display, } if (GRAB_OP_IS_WINDOW_SWITCH (display->grab_op) || - display->grab_op == META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING) + display->grab_op == META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING || + display->grab_op == META_GRAB_OP_KEYBOARD_WORKSPACE_MOVING) { meta_ui_tab_popup_free (display->grab_screen->tab_popup); display->grab_screen->tab_popup = NULL; |