1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
## menus.jl by Christian Marillat <marillat@debian.org>
## Add Debian menu entry. Change terminal menu entry to use the Debian
## default terminal.
--- sawfish-1.3.orig/lisp/sawfish/wm/gnome/menus.jl 2004-06-20 15:49:48.000000000 +0200
+++ sawfish-1.3/lisp/sawfish/wm/gnome/menus.jl 2004-06-20 15:50:52.000000000 +0200
@@ -73,6 +73,8 @@
(defvar gnome-menu-roots (list (expand-file-name
"apps" gnome-share-directory)
"/etc/X11/applnk" ;on RedHat systems
+ "/usr/share/applications"
+ "/var/lib/menu-xdg/applications/menu-xdg"
"~/.gnome/apps")
"List of directories to read GNOME menu entries from.")
@@ -148,7 +150,7 @@
;; create a menu item
`(,(or name exec)
(system ,(concat (if terminal
- (concat "gnome-terminal -e " exec)
+ (concat "x-terminal-emulator -e " exec)
exec) " &"))))))))
(define (gnome-menu-read-order filename)
|