gnome-shell/js
Florian Müllner 0257a23c31 windowManager: Update stacking during workspace switches
When animating workspace switches, windows on the old and new workspaces
are temporarily reparented. If windows are restacked, those windows will
thus be ignored by mutter until meta_switch_workspace_completed() resyncs
the stacking at the end of the animation.
As a result, activating a window on another workspace that is not on top
of the stack is very noticeably a two-step operation of switching workspace
and raising the window. There is a technical reason for that order[0], but
we can avoid the visible disruption by manually syncing the stack during
the switch operation.

[0] https://git.gnome.org/browse/mutter/tree/src/core/workspace.c#n590

https://bugzilla.gnome.org/show_bug.cgi?id=741680
2014-12-19 11:39:50 +01:00
..
extensionPrefs extensionPrefs: Improve handling of OutOfDate extensions 2014-09-06 22:06:23 +02:00
gdm Rename KeyBindingMode to ActionMode 2014-12-19 11:39:50 +01:00
misc Fix typo 2014-12-11 15:48:51 +01:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper PortalHelper: fix portals that don't redirect properly 2014-08-19 15:29:22 +02:00
ui windowManager: Update stacking during workspace switches 2014-12-19 11:39:50 +01:00
js-resources.gresource.xml status/keyboard: Factor out a KeyboardManager class 2014-09-11 19:14:46 +02:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00