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