Switch to active workspace properly on startup/restart

This commit is contained in:
Tor Hedin Brønner
2018-04-22 14:57:10 +02:00
parent d404b271fe
commit 7952b00ef2
2 changed files with 7 additions and 8 deletions
+5 -8
View File
@@ -250,13 +250,7 @@ var PreviewedWindowNavigator = new Lang.Class({
let last = multimap.minimaps[multimap.selectedIndex - 1];
switchWorkspace(
last && last.space.workspace,
this.space.workspace,
() => {
let cloneParent = this.space.cloneContainer.get_parent();
cloneParent.set_child_above_sibling(
this.space.cloneContainer,
multimap.minimaps[0].space.cloneContainer);
});
this.space.workspace);
if (this.space.length === 0) {
this.space.workspace.activate(global.get_current_time());
@@ -323,7 +317,10 @@ function switchWorkspace(from, to, callback) {
scale_y: 1,
time: 0.25,
transition: 'easeInOutQuad',
onComplete: callback
onComplete: () => {
toSpace.cloneContainer.raise_top();
callback && callback();
}
});
if (!from || from === to)
+2
View File
@@ -119,6 +119,8 @@ function enable() {
actor.connect('show', showWrapper)
];
});
Navigator.switchWorkspace(null, global.screen.get_active_workspace());
}
if (isDuringGnomeShellStartup) {