X-Git-Url: https://git.decadent.org.uk/gitweb/?a=blobdiff_plain;f=debian%2Fpatches%2F211_add-debian-menu.diff;fp=debian%2Fpatches%2F211_add-debian-menu.diff;h=2f87b750f181f26287dbb4e1bbd285ac0efd4371;hb=4caa969e86b611255dddf085563d32e5e0e8f323;hp=0000000000000000000000000000000000000000;hpb=98ddceff44888e84c1539a88130b59d4a20cf166;p=ion3.git

diff --git a/debian/patches/211_add-debian-menu.diff b/debian/patches/211_add-debian-menu.diff
new file mode 100644
index 0000000..2f87b75
--- /dev/null
+++ b/debian/patches/211_add-debian-menu.diff
@@ -0,0 +1,23 @@
+--- ion3.orig/etc/cfg_ioncore.lua
++++ ion3/etc/cfg_ioncore.lua
+@@ -336,6 +336,7 @@
+     menuentry("Help",           "mod_query.query_man(_)"),
+     menuentry("About Ion",      "mod_query.show_about_ion(_)"),
+     submenu("Styles",           "stylemenu"),
++    submenu("Debian",           "Debian"),
+     submenu("Session",          "sessionmenu"),
+ })
+ 
+@@ -381,3 +381,12 @@
+ defctxmenu("WClientWin", "Client window", {
+     menuentry("Kill",           "WClientWin.kill(_)"),
+ })
++
++-- Auto-generated Debian menu definitions
++if os.execute("test -x /usr/bin/update-menus") == 0 then
++    if ioncore.is_i18n() then
++        dopath("debian-menu-i18n")
++    else
++        dopath("debian-menu")
++    end
++end