From 6e946fe702581f0e776682e57bbcd44abdf826d6 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Fri, 1 Jun 2012 12:34:27 -0400 Subject: [PATCH] drive-menu: Update to work with GNOME Shell git https://bugzilla.gnome.org/show_bug.cgi?id=677289 --- extensions/drive-menu/extension.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js index 4334195c..26903eda 100644 --- a/extensions/drive-menu/extension.js +++ b/extensions/drive-menu/extension.js @@ -11,6 +11,7 @@ const Main = imports.ui.main; const Panel = imports.ui.panel; const PanelMenu = imports.ui.panelMenu; const PopupMenu = imports.ui.popupMenu; +const PlaceDisplay = imports.ui.placeDisplay; const ExtensionUtils = imports.misc.extensionUtils; const Me = ExtensionUtils.getCurrentExtension(); @@ -54,7 +55,7 @@ const DriveMenu = new Lang.Class({ _init: function() { this.parent('media-eject'); - this._manager = Main.placesManager; + this._manager = new PlaceDisplay.PlacesManager(); this._updatedId = this._manager.connect('mounts-updated', Lang.bind(this, this._update)); this._contentSection = new PopupMenu.PopupMenuSection();