--- 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 $* &