[gnome-shell-extensions] drive-menu: ignore shadowed mounts

[Giovanni Campagna <gcampagna src gnome org>]

commit a21def6e6e00dd59f67ad515580b3607212b63c4
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sun Oct 20 17:49:12 2013 +0200

    drive-menu: ignore shadowed mounts
    
    Shadow mounts are created by the GVolume infrastructure to wrap
    daemon mounts managed by volume monitors, and are an implementation
    detail that should not be exposed to the user.

 extensions/drive-menu/extension.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js
index eeea6b0..62de8bf 100644
--- a/extensions/drive-menu/extension.js
+++ b/extensions/drive-menu/extension.js
@@ -133,6 +133,8 @@ const DriveMenu = new Lang.Class({
     _isMountInteresting: function(mount) {
         if (!mount.can_eject() && !mount.can_unmount())
             return false;
+        if (mount.is_shadowed())
+            return false;
 
         let volume = mount.get_volume();