OPT_NUM
{"matchtime", NULL, OPT_NUM, 0},
{"report", NULL, OPT_NUM, 0},
{"scroll", NULL, OPT_NUM, 0},
{"shiftwidth", NULL, OPT_NUM, OPT_NOZERO},
{"sidescroll", NULL, OPT_NUM, OPT_NOZERO},
{"tabstop", f_reformat, OPT_NUM, OPT_NOZERO},
{"taglength", NULL, OPT_NUM, 0},
{"w1200", f_w1200, OPT_NUM, OPT_NDISP|OPT_NOSAVE},
{"w300", f_w300, OPT_NUM, OPT_NDISP|OPT_NOSAVE},
{"w9600", f_w9600, OPT_NUM, OPT_NDISP|OPT_NOSAVE},
{"window", f_window, OPT_NUM, OPT_NOZERO},
{"wraplen", NULL, OPT_NUM, 0},
{"wrapmargin", NULL, OPT_NUM, 0},
case OPT_NUM:
case OPT_NUM:
{"columns", f_columns, OPT_NUM, OPT_NOSAVE},
{"escapetime", NULL, OPT_NUM, 0},
case OPT_NUM:
{"hardtabs", NULL, OPT_NUM, 0},
case OPT_NUM:
{"keytime", NULL, OPT_NUM, 0},
case OPT_NUM:
{"lines", f_lines, OPT_NUM, OPT_NOSAVE},
case OPT_NUM:
OPT_NUM("isolevel", isoLevel, 1, 3),