mirror of
https://github.com/brl/mutter.git
synced 2024-11-08 23:16:20 -05:00
when moving window to another workspace, don't switch to that workspace.
2003-05-03 Havoc Pennington <hp@pobox.com> * src/keybindings.c (handle_move_to_workspace): when moving window to another workspace, don't switch to that workspace. * src/window.c (menu_callback): when moving window to another workspace, don't switch to that workspace.
This commit is contained in:
parent
f64a231620
commit
a7c344bbc5
@ -1,3 +1,11 @@
|
||||
2003-05-03 Havoc Pennington <hp@pobox.com>
|
||||
|
||||
* src/keybindings.c (handle_move_to_workspace): when moving
|
||||
window to another workspace, don't switch to that workspace.
|
||||
|
||||
* src/window.c (menu_callback): when moving window to another
|
||||
workspace, don't switch to that workspace.
|
||||
|
||||
2003-05-03 Havoc Pennington <hp@pobox.com>
|
||||
|
||||
* configure.in: 2.5.1
|
||||
|
@ -3012,7 +3012,9 @@ handle_move_to_workspace (MetaDisplay *display,
|
||||
{
|
||||
/* Activate second, so the window is never unmapped */
|
||||
meta_window_change_workspace (window, workspace);
|
||||
#if 0
|
||||
meta_workspace_activate (workspace);
|
||||
#endif
|
||||
}
|
||||
else
|
||||
{
|
||||
|
@ -5435,10 +5435,12 @@ menu_callback (MetaWindowMenu *menu,
|
||||
|
||||
if (workspace)
|
||||
{
|
||||
meta_workspace_activate (workspace);
|
||||
meta_window_change_workspace (window,
|
||||
workspace);
|
||||
#if 0
|
||||
meta_workspace_activate (workspace);
|
||||
meta_window_raise (window);
|
||||
#endif
|
||||
}
|
||||
else
|
||||
meta_warning ("Workspace %d doesn't exist\n", workspace_index);
|
||||
|
Loading…
Reference in New Issue
Block a user