putty-defaults: Revert bogus change to Putty terminal height.

[profile] / mdw-editor

diff --git a/mdw-editor b/mdw-editor
index cca7310..a58ee95 100755 (executable)
--- a/mdw-editor
+++ b/mdw-editor
@@ -2,6 +2,7 @@
 
 set -e
 editor=${MDW_EDITOR-ed}
+[ -t 0 -a -t 1 ] || TERM=dumb
 case "$EDITOR,$VISUAL,$TERM" in
   mdw-editor,mdw-editor,dumb) editor=gnuclient;;
   mdw-editor,mdw-editor,*);;