mirror of
https://github.com/brl/mutter.git
synced 2024-11-21 15:40:41 -05:00
raise window when moving to another workspace bug #88896
2002-08-10 Havoc Pennington <hp@pobox.com> * src/window.c (menu_callback): raise window when moving to another workspace bug #88896 * src/keybindings.c (switch_to_workspace): raise window when moving between spaces
This commit is contained in:
parent
7179d77d0c
commit
154e38e71e
@ -1,3 +1,11 @@
|
||||
2002-08-10 Havoc Pennington <hp@pobox.com>
|
||||
|
||||
* src/window.c (menu_callback): raise window when moving to
|
||||
another workspace bug #88896
|
||||
|
||||
* src/keybindings.c (switch_to_workspace): raise window when
|
||||
moving between spaces
|
||||
|
||||
2002-08-10 Jorn Baayen <jorn@nl.linux.org>
|
||||
|
||||
Register window menu icons with the Gtk stock system, instead
|
||||
|
@ -2013,6 +2013,7 @@ switch_to_workspace (MetaDisplay *display,
|
||||
{
|
||||
/* Removes window from other spaces */
|
||||
meta_window_change_workspace (move_window, workspace);
|
||||
meta_window_raise (move_window);
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -5679,6 +5679,7 @@ menu_callback (MetaWindowMenu *menu,
|
||||
meta_window_change_workspace (window,
|
||||
workspace);
|
||||
meta_workspace_activate (workspace);
|
||||
meta_window_raise (window);
|
||||
}
|
||||
else
|
||||
meta_warning ("Workspace %d doesn't exist\n", workspace_index);
|
||||
|
Loading…
Reference in New Issue
Block a user