[gnome-shell-extensions/wip/fmuellner/53-hide-network-mounts] drive-menu: Don't assume mounts without volume are local

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

commit 69e2c51bfecccb1b73918e5198c1229798a51f01
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Feb 5 22:16:09 2018 +0100

    drive-menu: Don't assume mounts without volume are local
    
    The intention of the code is to only expose actually plugged in
    devices rather than network mounts, but the existing heuristics are
    based on GVolume and simply assume a local mount where there's no
    associated volume. Fill that gap by querying the ::remote filesystem
    attribute in that case.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/53

 extensions/drive-menu/extension.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js
index 3c3dbe8..142eb3b 100644
--- a/extensions/drive-menu/extension.js
+++ b/extensions/drive-menu/extension.js
@@ -55,9 +55,9 @@ class MountMenuItem extends PopupMenu.PopupBaseMenuItem {
         let volume = this.mount.get_volume();
 
         if (volume == null) {
-            // probably a GDaemonMount, could be network or
-            // local, but we can't tell; assume it's local for now
-            return true;
+            let attr = Gio.FILE_ATTRIBUTE_FILESYSTEM_REMOTE;
+            let info = this.mount.get_root().query_filesystem_info(attr, null);
+            return !info.get_attribute_boolean(attr);
         }
 
         return volume.get_identifier('class') != 'network';