always show the top bar when navigating the workspace stack

This commit is contained in:
Tor Hedin Brønner
2019-04-28 12:50:33 +02:00
parent 5220f7919d
commit 49c39992cd
2 changed files with 4 additions and 1 deletions

View File

@@ -1392,6 +1392,9 @@ class Spaces extends Map {
_initWorkspaceStack() {
if (inPreview)
return;
// Always show the topbar when using the workspace stack
inPreview = true;
TopBar.show();
const scale = 0.9;
let space = this.spaceOf(workspaceManager.get_active_workspace());
let mru = [...this.stack];
@@ -1402,7 +1405,6 @@ class Spaces extends Map {
Main.panel.statusArea.appMenu.container.hide();
let monitor = space.monitor;
this.selectedSpace = space;
inPreview = true;
let cloneParent = space.clip.get_parent();
mru.forEach((space, i) => {

View File

@@ -484,6 +484,7 @@ function disable() {
function show() {
if (!Main.overview.visible &&
!Tiling.inPreview &&
!Tiling.spaces.selectedSpace.settings.get_boolean('show-top-bar')) {
hide();
return;