Always animate worspace change properly

This commit is contained in:
Tor Hedin Brønner
2018-04-22 14:56:05 +02:00
parent b14820b702
commit e35bcd6066
2 changed files with 4 additions and 15 deletions
-11
View File
@@ -267,17 +267,6 @@ WindowManager.WindowManager.prototype._previewWorkspace = function(from, to, cal
y: yDest,
time: 0.25,
transition: 'easeInOutQuad',
onComplete: () => {
Main.uiGroup.set_child_above_sibling(
toSpace.cloneContainer,
fromSpace.cloneContainer);
},
onOverwrite: () => {
Main.uiGroup.set_child_above_sibling(
toSpace.cloneContainer,
fromSpace.cloneContainer);
}
});
Tweener.addTween(toSpace.cloneContainer,
{ x: 0,
+4 -4
View File
@@ -70,10 +70,10 @@ function enable() {
global.screen.connect(
'workspace-switched',
(screen, from, to) => {
let f = spaces.get(global.screen.get_workspace_by_index(from));
let t = spaces.get(global.screen.get_workspace_by_index(to));
Main.uiGroup.set_child_above_sibling(t.cloneContainer,
f.cloneContainer);
Main.wm._previewWorkspace(
global.screen.get_workspace_by_index(from),
global.screen.get_workspace_by_index(to)
);
}),
// Reset primary when monitors change