diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
| commit | 06ff18cd020779c226f7c25d22016e06b898f303 (patch) | |
| tree | b5c12ca4c6b9b0c86e63d2b6a965b8bd74dd0d86 /project/src/ui/tab-wstrt.inc | |
| parent | f30e94a61fdc9fb13fd1fbd8b75502fedf5a2f71 (diff) | |
SZS v2.28a.beta
Diffstat (limited to '')
| -rw-r--r-- | project/src/ui/tab-wstrt.inc | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/project/src/ui/tab-wstrt.inc b/project/src/ui/tab-wstrt.inc index 4015738..d540bcd 100644 --- a/project/src/ui/tab-wstrt.inc +++ b/project/src/ui/tab-wstrt.inc @@ -68,6 +68,10 @@ "wstrt ARGTEST ...", 0 /* copy of wszst */ }, + { T_DEF_CMD, "EXPAND", "EXPAND", + "wstrt EXPAND ...", + 0 /* copy of wszst */ }, + { T_DEF_CMD, "TEST", "TEST", "wstrt TEST [options]... [ignored]...", 0 /* copy of wszst */ }, @@ -223,6 +227,10 @@ "MAX_WIDTH", "max-width|maxwidth", 0, 0 /* copy of wszst */ }, + { T_OPT_G|F_IGNORE, + "NO_PAGER", "no-pager|nopager", + 0, 0 /* copy of wszst */ }, + { T_OPT_GM, "QUIET", "q|quiet", 0, 0 /* copy of wszst */ }, @@ -232,6 +240,9 @@ { T_OPT_GM, "LOGGING", "L|logging", 0, 0 /* copy of wszst */ }, + { T_OPT_GM, "TIMING", "timing", + 0, 0 /* copy of wszst */ }, + { T_OPT_GP, "WARN", "W|warn", 0, 0 /* copy of wszst */ }, @@ -923,13 +934,16 @@ //---------- COMMAND wstrt ARGTEST ---------- { T_CMD_BEG, "ARGTEST", 0,0,0 }, + { T_ALL_OPT, 0, 0,0,0 }, + //---------- COMMAND wstrt EXPAND ---------- + + { T_CMD_BEG, "EXPAND", 0,0,0 }, { T_ALL_OPT, 0, 0,0,0 }, //---------- COMMAND wstrt TEST ---------- { T_CMD_BEG, "TEST", 0,0,0 }, - { T_ALL_OPT, 0, 0,0,0 }, //---------- COMMAND wstrt COLORS ---------- @@ -997,6 +1011,7 @@ { T_COPT, "FADDR", 0,0,0 }, { T_COPT, "SNAME", 0,0,0 }, { T_COPT, "LOGGING", 0,0,0 }, + { T_COPT, "TIMING", 0,0,0 }, { T_SEP_OPT, 0,0,0,0 }, { T_COPY_GRP, "HEXDUMP", 0,0,0 }, |