Hello again, I suggested a modified output from :s.
Mark P Jones found it confusing, and he was right.
I was only concerned with how fast I could get the information, and
not how understandable it is. I thought the output would be clear, and
I actually did find myself first looking up the letter, and then
searching to see if it is in the + or the - list.
So I still want the information on one line, but in a different
format.
Hans Aberg suggested
TOGGLES: groups begin with +/- to turn options on/off resp. (Last = default.)
s Print no. reductions/cells after eval off
t Print type after evaluation off
f Terminate evaluation on first error on
which I find much better. However, it's all about current settings, not
defaults. (And I don't want the heading line to become so long.)
So I now suggest
TOGGLES: groups begin with +/- to turn options on/off resp.
s Print no. reductions/cells after eval is now off
t Print type after evaluation is now off
f Terminate evaluation on first error is now on
...
Relative to my first patch, this is done like this:
*** hugs.c.p Mon Aug 4 17:05:39 1997
--- hugs.c Mon Aug 18 15:54:31 1997
***************
*** 261,275 ****
}
static Void local optionInfo() { /* Print information about command */
! static String fmts = "-%-5s%s\n"; /* line settings */
! static String fmtc = "%c%-5c%s\n";
Int i;
Printf("TOGGLES: groups begin with +/- to turn options on/off resp.\n");
for (i=0; toggle[i].c; ++i)
! Printf(fmtc, *toggle[i].flag ? '+' : '-',
! toggle[i].c,
! toggle[i].description);
Printf("\nOTHER OPTIONS: (leading + or - makes no difference)\n");
Printf(fmts,"hnum","Set heap size (cannot be changed within Hugs)");
--- 261,275 ----
}
static Void local optionInfo() { /* Print information about command */
! static String fmts = "%-5s%s\n"; /* line settings */
! static String fmtc = "%-5c%-40sis now %s\n";
Int i;
Printf("TOGGLES: groups begin with +/- to turn options on/off resp.\n");
for (i=0; toggle[i].c; ++i)
! Printf(fmtc, toggle[i].c,
! toggle[i].description,
! *toggle[i].flag ? "on" : "off");
Printf("\nOTHER OPTIONS: (leading + or - makes no difference)\n");
Printf(fmts,"hnum","Set heap size (cannot be changed within Hugs)");
What do you think about it?
Christian Sievers