1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
From: Arnout Engelen <arnouten@bzzt.net>
Date: Fri, 30 Oct 2015 18:58:59 -0700
Subject: 211_add-debian-menu
Add a 'Debian' menu populated by the Debian menu system
---
etc/cfg_bindings.lua | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/etc/cfg_bindings.lua b/etc/cfg_bindings.lua
index 7eeb233..1955a53 100644
--- a/etc/cfg_bindings.lua
+++ b/etc/cfg_bindings.lua
@@ -365,6 +365,7 @@ defmenu("mainmenu", {
menuentry("Help", "mod_query.query_man(_)"),
menuentry("About Notion", "mod_query.show_about_ion(_)"),
submenu("Styles", "stylemenu"),
+ submenu("Debian", "Debian"),
submenu("Session", "sessionmenu"),
})
@@ -410,3 +411,15 @@ defctxmenu("WGroupWS", "Workspace", {
defctxmenu("WClientWin", "Client window", {
menuentry("Kill", "WClientWin.kill(_)"),
})
+
+-- Auto-generated Debian menu definitions
+if os then
+ havemenus = os.execute("test -x /usr/bin/update-menus")
+ if havemenus == 0 or havemenus == true then
+ if ioncore.is_i18n() then
+ dopath("debian-menu-i18n")
+ else
+ dopath("debian-menu")
+ end
+ end
+end
|
