Bump version to 3.9.1

To go along GNOME Shell 3.9.1

NEWS

@@ -1,7 +1,8 @@
-3.8.2
+3.9.1
 =====
-* window-list: fix styling in classic mode
+* updates to window-list, xrandr-indicator,
-* window-list: code cleanups
+  workspace-indicator, windowsNavigator for gnome-shell
+  changes
 * translation updates (cs, es, lt, pl, pt_BR, sl)
 
 3.8.1

configure.ac

@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.8.2],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.9.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])

extensions/window-list/classic.css

@@ -3,7 +3,6 @@
 #panel.bottom-panel {
     border-top-width: 1px;
     border-bottom-width: 0px;
-    height: 32px !important;
   }
 
   .bottom-panel .window-button > StWidget {
@@ -12,7 +11,6 @@
     background-gradient-end: #d0d0d0;
     color: #555 !important;
     border-radius: 2px !important;
-    padding: 4px 6px 2px !important;
     text-shadow: 0 0 transparent;
     box-shadow: inset -1px -1px 1px rgba(0,0,0,0.5) !important;
   }

extensions/window-list/extension.js

@@ -413,9 +413,9 @@ const WorkspaceIndicator = new Lang.Class({
     },
 
     _updateIndicator: function() {
-        this.workspacesItems[this._currentWorkspace].setShowDot(false);
+        this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.NONE);
         this._currentWorkspace = global.screen.get_active_workspace().index();
-        this.workspacesItems[this._currentWorkspace].setShowDot(true);
+        this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.DOT);
 
         this.statusLabel.set_text(this._getStatusText());
     },
@@ -442,7 +442,7 @@ const WorkspaceIndicator = new Lang.Class({
             }));
 
             if (i == this._currentWorkspace)
-                item.setShowDot(true);
+                item.setOrnament(PopupMenu.Ornament.DOT);
 
             this.menu.addMenuItem(item);
             this.workspacesItems[i] = item;

extensions/windowsNavigator/extension.js

@@ -47,11 +47,23 @@ function enable() {
     winInjections['hideTooltip'] = undefined;
 
     Workspace.Workspace.prototype.showTooltip = function() {
-        if (this._tip == null)
+        if (this._tip == null || this._actualGeometry == null)
             return;
         this._tip.text = (this.metaWorkspace.index() + 1).toString();
-        this._tip.x = this._x;
+
-        this._tip.y = this._y;
+        // Hand code this instead of using _getSpacingAndPadding
+        // because that fails on empty workspaces
+        let node = this.actor.get_theme_node();
+        let padding = {
+            left: node.get_padding(St.Side.LEFT),
+            top: node.get_padding(St.Side.TOP),
+            bottom: node.get_padding(St.Side.BOTTOM),
+            right: node.get_padding(St.Side.RIGHT),
+        };
+
+        let area = Workspace.padArea(this._actualGeometry, padding);
+        this._tip.x = area.x;
+        this._tip.y = area.y;
         this._tip.show();
         this._tip.raise_top();
     }

extensions/workspace-indicator/extension.js

@@ -66,9 +66,9 @@ const WorkspaceIndicator = new Lang.Class({
     },
 
     _updateIndicator: function() {
-	this.workspacesItems[this._currentWorkspace].setShowDot(false);
+	this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.NONE);
 	this._currentWorkspace = global.screen.get_active_workspace().index();
-	this.workspacesItems[this._currentWorkspace].setShowDot(true);
+	this.workspacesItems[this._currentWorkspace].setOrnament(PopupMenu.Ornament.DOT);
 
 	this.statusLabel.set_text(this._labelText());
     },
@@ -98,7 +98,7 @@ const WorkspaceIndicator = new Lang.Class({
 	    }));
 
 	    if (i == this._currentWorkspace)
-		this.workspacesItems[i].setShowDot(true);
+		this.workspacesItems[i].setOrnament(PopupMenu.Ornament.DOT);
 	}
 
 	this.statusLabel.set_text(this._labelText());

extensions/xrandr-indicator/extension.js

@@ -94,7 +94,7 @@ const Indicator = new Lang.Class({
             if (bitmask & allowedRotations) {
                 let item = new PopupMenu.PopupMenuItem(Gettext.gettext(name));
                 if (bitmask & currentRotation)
-                    item.setShowDot(true);
+                    item.setOrnament(PopupMenu.Ornament.DOT);
                 item.connect('activate', Lang.bind(this, function(item, event) {
                     /* ensure config is saved so we get a backup if anything goes wrong */
                     config.save();