debian/patches/211_add-debian-menu.diff

   1 --- ion3.orig/etc/cfg_ioncore.lua
   2 +++ ion3/etc/cfg_ioncore.lua
   3 @@ -336,6 +336,7 @@
   4      menuentry("Help",           "mod_query.query_man(_)"),
   5      menuentry("About Ion",      "mod_query.show_about_ion(_)"),
   6      submenu("Styles",           "stylemenu"),
   7 +    submenu("Debian",           "Debian"),
   8      submenu("Session",          "sessionmenu"),
   9  })
  10
  11 @@ -381,3 +382,12 @@
  12  defctxmenu("WClientWin", "Client window", {
  13      menuentry("Kill",           "WClientWin.kill(_)"),
  14  })
  15 +
  16 +-- Auto-generated Debian menu definitions
  17 +if os and os.execute("test -x /usr/bin/update-menus") == 0 then
  18 +    if ioncore.is_i18n() then
  19 +        dopath("debian-menu-i18n")
  20 +    else
  21 +        dopath("debian-menu")
  22 +    end
  23 +end