Bump version to 3.30.1

Update NEWS.

NEWS

@@ -1,3 +1,12 @@
+3.30.1
+======
+* apps-menu: Fix height on HiDPI systems [Florian; #102]
+* window-list: Only switch between windows on active workspace when scrolling
+  [Florian; #78]
+
+Contributors:
+  Florian Müllner
+
 3.30.0
 ======
 * Bump version

extensions/apps-menu/extension.js

@@ -685,7 +685,10 @@ class ApplicationsButton extends PanelMenu.Button {
         //Load applications
         this._displayButtons(this._listApplications(null));
 
-        let height = this.categoriesBox.height + MENU_HEIGHT_OFFSET + 'px';
+        let themeContext = St.ThemeContext.get_for_stage(global.stage);
+        let scaleFactor = themeContext.scale_factor;
+        let categoriesHeight = this.categoriesBox.height / scaleFactor;
+        let height = Math.round(categoriesHeight) + MENU_HEIGHT_OFFSET + 'px';
         this.mainBox.style+=('height: ' + height);
     }
 

extensions/window-list/extension.js

@@ -898,17 +898,12 @@ class WindowList {
         else
             return;
 
-        let children = this._windowList.get_children().map(a => a._delegate);
+        let children = this._windowList.get_children()
-        let active = 0;
+            .filter(c => c.visible)
-        for (let i = 0; i < children.length; i++) {
+            .map(a => a._delegate);
-            if (children[i].active) {
+        let active = children.findIndex(c => c.active);
-                active = i;
+        let newActive = Math.max(0, Math.min(active + diff, children.length-1));
-                break;
+        children[newActive].activate();
-            }
-        }
-
-        active = Math.max(0, Math.min(active + diff, children.length-1));
-        children[active].activate();
     }
 
     _updatePosition() {
@@ -1023,12 +1018,9 @@ class WindowList {
 
     _removeApp(app) {
         let children = this._windowList.get_children();
-        for (let i = 0; i < children.length; i++) {
+        let child = children.find(c => c._delegate.app == app);
-            if (children[i]._delegate.app == app) {
+        if (child)
-                children[i].destroy();
+            child.destroy();
-                return;
-            }
-        }
     }
 
     _onWindowAdded(ws, win) {
@@ -1042,10 +1034,8 @@ class WindowList {
             return;
 
         let children = this._windowList.get_children();
-        for (let i = 0; i < children.length; i++) {
+        if (children.find(c => c._delegate.metaWindow == win))
-            if (children[i]._delegate.metaWindow == win)
+            return;
-                return;
-        }
 
         let button = new WindowButton(win, this._perMonitor, this._monitor.index);
         this._windowList.layout_manager.pack(button.actor,
@@ -1065,12 +1055,9 @@ class WindowList {
             return; // not actually removed, just moved to another workspace
 
         let children = this._windowList.get_children();
-        for (let i = 0; i < children.length; i++) {
+        let child = children.find(c => c._delegate.metaWindow == win);
-            if (children[i]._delegate.metaWindow == win) {
+        if (child)
-                children[i].destroy();
+            child.destroy();
-                return;
-            }
-        }
     }
 
     _onWorkspacesChanged() {

meson.build

@@ -1,5 +1,5 @@
 project('gnome-shell-extensions',
-  version: '3.30.0',
+  version: '3.30.1',
   meson_version: '>= 0.44.0',
   license: 'GPL2+'
 )