Attachment 640476 Details for Bug 872694 – Patch #1 to enable/disable menu editor if gnome-panel dep is missing

[patch] Patch #1 to enable/disable menu editor if gnome-panel dep is missing

cinnamon_menu_applet.patch (text/plain), 1.22 KB, created by jeviolle on 2012-11-07 23:53:05 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: jeviolle

Created: 2012-11-07 23:53:05 UTC

Size: 1.22 KB

patch

obsolete

>--- /usr/share/cinnamon/applets/menu@cinnamon.org/applet.js.orig	2012-11-07 18:32:30.605061675 -0500
>+++ /usr/share/cinnamon/applets/menu@cinnamon.org/applet.js	2012-11-07 18:44:43.040185428 -0500
>@@ -27,6 +27,7 @@
> const MAX_RECENT_FILES = 20;
> 
> const USER_DESKTOP_PATH = FileUtils.getUserDesktopDir();
>+const GNOME_PANEL_OK = FileUtils.testMenuEditDeps();
> 
> 
> let appsys = Cinnamon.AppSystem.get_default();
>@@ -746,8 +747,11 @@
>             Main.placesManager.connect('places-updated', Lang.bind(this, this._refreshApps));
>             this.RecentManager.connect('changed', Lang.bind(this, this._refreshApps));
> 
>-            this.edit_menu_item = new Applet.MenuItem(_("Edit menu"), Gtk.STOCK_EDIT, Lang.bind(this, this._launch_editor));
>-            this._applet_context_menu.addMenuItem(this.edit_menu_item);
>+            if ( GNOME_PANEL_OK ) {
>+              this.edit_menu_item = new Applet.MenuItem(_("Edit menu"), Gtk.STOCK_EDIT, Lang.bind(this, this._launch_editor));
>+              this._applet_context_menu.addMenuItem(this.edit_menu_item);
>+            }
>+
>             let settings_menu_item = new Applet.MenuItem(_("Menu settings"), null, function() {
>                 Util.spawnCommandLine("cinnamon-settings menu");
>             });

Actions: View | Diff

Attachments on bug 872694: 640476 | 640477