[gnome-shell/wip/fmuellner/overview-tweaks: 8/16] overview: Don't expand workspace thumbnails by default
- From: Florian MĂźllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/fmuellner/overview-tweaks: 8/16] overview: Don't expand workspace thumbnails by default
- Date: Thu, 20 Jul 2017 11:26:26 +0000 (UTC)
commit 6bb893ea608f50d0ecb093fedf1bf64cde84afd4
Author: Florian MĂźllner <fmuellner gnome org>
Date: Thu Jun 1 15:38:41 2017 +0200
overview: Don't expand workspace thumbnails by default
We currently expand the workspace switcher when workspaces are being
used, that is when there are any windows on a non-active workspace.
While this helps with the switcher's discoverability, it does eat into
the space available for window previews. By now the component should
be well established, so we can afford opting for space efficiency and
only expand the switcher while the user actually interacts with it.
https://bugzilla.gnome.org/show_bug.cgi?id=783953
js/ui/overviewControls.js | 10 ++--------
1 files changed, 2 insertions(+), 8 deletions(-)
---
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 1f6c63b..6fe79de 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -254,18 +254,12 @@ var ThumbnailsSlider = new Lang.Class({
Main.layoutManager.connect('monitors-changed', Lang.bind(this, this._updateSlide));
this.actor.connect('notify::hover', Lang.bind(this, this._updateSlide));
- global.window_manager.connect('switch-workspace', Lang.bind(this, this._updateSlide));
this._thumbnailsBox.actor.bind_property('visible', this.actor, 'visible',
GObject.BindingFlags.SYNC_CREATE);
},
_getAlwaysZoomOut: function() {
- // Always show the pager when hover, during a drag, or if workspaces are
- // actually used, e.g. there are windows on any non-active workspace
- let alwaysZoomOut = this.actor.hover ||
- this._inDrag ||
- !Meta.prefs_get_dynamic_workspaces() ||
- global.screen.n_workspaces > 2 ||
- global.screen.get_active_workspace_index() != 0;
+ // Always show the pager on hover or during a drag
+ let alwaysZoomOut = this.actor.hover || this._inDrag;
if (!alwaysZoomOut) {
let monitors = Main.layoutManager.monitors;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]