windowPreview: Use full animation on popup

ewlsh · Oct 3, 2021 · 7ed8807 · 7ed8807
1 parent d3f9787
commit 7ed8807
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/windowPreview.js b/windowPreview.js
@@ -10,6 +10,7 @@ const GObject = imports.gi.GObject;
 const St = imports.gi.St;
 const Main = imports.ui.main;
 
+const BoxPointer = imports.ui.boxpointer;
 const Params = imports.misc.params;
 const PopupMenu = imports.ui.popupMenu;
 const Workspace = imports.ui.workspace;
@@ -69,7 +70,7 @@ var WindowPreviewMenu = class DashToDock_WindowPreviewMenu extends PopupMenu.Pop
         let windows = this._source.getInterestingWindows();
         if (windows.length > 0) {
             this._redisplay();
-            this.open();
+            this.open(BoxPointer.PopupAnimation.FULL);
             this.actor.navigate_focus(null, St.DirectionType.TAB_FORWARD, false);
             this._source.emit('sync-tooltip');
         }