1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
## 01_integration.jl.dpatch by Christian Marillat <marillat@debian.org>
4
## DP: Use the debian default terminal
8
--- sawfish-1.3.orig/lisp/sawfish/wm/gnome/integration.jl Sun Jun 30 15:21:19 2002
9
+++ sawfish-1.3/lisp/sawfish/wm/gnome/integration.jl Sun Jun 30 15:21:45 2002
12
;; invoke the GNOME terminal instead of xterm
13
(unless (variable-customized-p 'xterm-program)
14
- (setq xterm-program "gnome-terminal"))
15
+ (setq xterm-program "x-terminal-emulator"))
17
;; use the GNOME help browser and url launcher
18
(setq help-display-info-function help-call-info-gnome)