Bump version to 3.33.1

Update NEWS.
window-list: Don't use anchor point
2019-05-14 17:53:56 +00:00 · 2019-04-28 11:08:02 +00:00
3 changed files with 10 additions and 3 deletions
--- a/7
+++ b/7
@@ -1,3 +1,10 @@
+3.33.1
+======
+* Misc. bug fixes [Florian; !64]
+
+Contributors:
+  Florian Müllner
+
 3.32.1
 ======
 * Fix windowsNavigator extension after ES6 port [Florian; #143]
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -1009,8 +1009,8 @@ class WindowList {
        if (!Main.keyboard.actor)
            return;

-        let anchorY = Main.overview.visible ? 0 : this.actor.height;
-        Main.keyboard.actor.anchor_y = anchorY;
+        let translationY = Main.overview.visible ? 0 : this.actor.height;
+        Main.keyboard.actor.translation_y = -translationY;
    }

    _onAppStateChanged(appSys, app) {
--- a/meson.build
+++ b/meson.build
@@ -1,5 +1,5 @@
 project('gnome-shell-extensions',
-  version: '3.32.1',
+  version: '3.33.1',
  meson_version: '>= 0.44.0',
  license: 'GPL2+'
 )
Author	SHA1	Message	Date
Florian Müllner	f11c101878	Bump version to 3.33.1 Update NEWS.	2019-05-14 17:53:56 +00:00
Florian Müllner	7c412ca7d9	window-list: Don't use anchor point It is deprecated and we can easily replace it with a translation. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/64	2019-04-28 11:08:02 +00:00