1 --- ion3.orig/etc/cfg_ioncore.lua
2 +++ ion3/etc/cfg_ioncore.lua
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"),
12 defctxmenu("WClientWin", "Client window", {
13 menuentry("Kill", "WClientWin.kill(_)"),
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")
21 + dopath("debian-menu")