[polari] mainWindow: Pop up userlist popover

[Florian Müllner <fmuellner src gnome org>]

commit 486aa21d294b28dc2c5c228d89d7d6b9c05edca1
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Apr 21 23:43:23 2019 +0200

    mainWindow: Pop up userlist popover
    
    At one point, GTK removed the hack to animate popover visibility changes on
    show()/hide() and added explicit popup()/popdown() methods for transitions.
    
    We want to animate the popover reveal, so switch to the appropriate methods.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=768851

 src/mainWindow.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/src/mainWindow.js b/src/mainWindow.js
index c5c8229..1419306 100644
--- a/src/mainWindow.js
+++ b/src/mainWindow.js
@@ -178,7 +178,10 @@ var MainWindow = GObject.registerClass({
         this._userListAction = app.lookup_action('user-list');
 
         app.connect('action-state-changed::user-list', (group, name, value) => {
-            this._userListPopover.visible = value.get_boolean();
+            if (value.get_boolean())
+                this._userListPopover.popup();
+            else
+                this._userListPopover.popdown();
         });
         this._userListPopover.connect('notify::visible', () => {
             if (!this._userListPopover.visible)