From 06ff18cd020779c226f7c25d22016e06b898f303 Mon Sep 17 00:00:00 2001 From: Wiimm Date: Sat, 9 Jul 2022 11:48:24 +0200 Subject: SZS v2.28a.beta --- project/src/ui/tab-wkmpt.inc | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'project/src/ui/tab-wkmpt.inc') diff --git a/project/src/ui/tab-wkmpt.inc b/project/src/ui/tab-wkmpt.inc index 0b2a49a..b647c4d 100644 --- a/project/src/ui/tab-wkmpt.inc +++ b/project/src/ui/tab-wkmpt.inc @@ -67,6 +67,10 @@ "wkmpt ARGTEST ...", 0 /* copy of wszst */ }, + { T_DEF_CMD, "EXPAND", "EXPAND", + "wkmpt EXPAND ...", + 0 /* copy of wszst */ }, + { T_DEF_CMD, "TEST", "TEST", "wkmpt TEST [options]... [ignored]...", 0 /* copy of wszst */ }, @@ -266,6 +270,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 */ }, @@ -275,6 +283,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 */ }, @@ -685,7 +696,11 @@ //---------- COMMAND wkmpt ARGTEST ---------- { T_CMD_BEG, "ARGTEST", 0,0,0 }, + { T_ALL_OPT, 0, 0,0,0 }, + + //---------- COMMAND wkmpt EXPAND ---------- + { T_CMD_BEG, "EXPAND", 0,0,0 }, { T_ALL_OPT, 0, 0,0,0 }, //---------- COMMAND wkmpt TEST ---------- -- cgit v1.3.1