PATCH: zsh-3.1.5-pws-17: history options again

[Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>]

setopt with kshoptionprint was printing out

incrementalappendhistoryoff

which is obviously wrong.  Here is a generic solution to the problem, but
maybe the option name is a bit too long, can we agree on another one before
it's too late?  It's a shame the options weren't all standardised as having
`hist' rather than `history', but it's far too late to worry about that.  How
about `incappendhistory'; I think 'inc' is a widely enough recognisable
abbreviation?

--- Src/options.c.iah	Sat May  8 15:27:16 1999
+++ Src/options.c	Sat May  8 16:37:10 1999
@@ -384,9 +384,9 @@
 	optno = -optno;
     if (isset(KSHOPTIONPRINT)) {
 	if (defset(on))
-	    printf("no%-20s%s\n", on->nam, isset(optno) ? "off" : "on");
+	    printf("no%-19s %s\n", on->nam, isset(optno) ? "off" : "on");
 	else
-	    printf("%-22s%s\n", on->nam, isset(optno) ? "on" : "off");
+	    printf("%-21s %s\n", on->nam, isset(optno) ? "on" : "off");
     } else if (set == (isset(optno) ^ defset(on))) {
 	if (set ^ isset(optno))
 	    fputs("no", stdout);

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy