# HG changeset patch
# User paulson
# Date 845890617 -7200
# Node ID 7c12923a50c6e815ae4c85e67718b60d3f8a5d59
# Parent  292df12bace531ddaaa392d75ac6509b98983321
Creates a bigger main window

diff -r 292df12bace5 -r 7c12923a50c6 src/Tools/xlisten
--- a/src/Tools/xlisten	Mon Oct 21 11:18:34 1996 +0200
+++ b/src/Tools/xlisten	Mon Oct 21 11:36:57 1996 +0200
@@ -8,4 +8,4 @@
 
 xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
 sleep 2
-xterm -geo 80x45+0-0 -e teeinput $* &
+xterm -geo 80x60+0-0 -e teeinput $* &