From 9de1c3b41bb4dd85e4a501c53666a7fd72228621 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 12:40:09 +0000
Subject: Prevent setting WM title so Emacs can do its own thing

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 46c78a58..9f2d33a6 100644
--- a/isar/interface
+++ b/isar/interface
@@ -183,7 +183,7 @@ else
   [ "$INITFILE" = false ] && ARGS="$ARGS -q"
   
   if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
-    ARGS="$ARGS -T Isabelle"
+    #ARGS="$ARGS -T Isabelle"
     [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOLSETUP" = true ] && installfonts
   else
     ARGS="$ARGS -nw"
-- 
cgit v1.2.3