diff options
| author | Wiimm <wiimm@wiimm.de> | 2021-05-08 11:35:32 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2021-05-08 11:35:32 +0200 |
| commit | 9ae8841ec4720e74173e2f72fac33f0848bbf435 (patch) | |
| tree | cdce547c82e5f4e0078e908ad1b86a152bd24c45 /project/src/ui/gen-ui.c | |
| parent | f33ad95520f6c6bb8f192c8bcd1c17cf40ba6b6b (diff) | |
SZS v2.26a
Diffstat (limited to 'project/src/ui/gen-ui.c')
| -rw-r--r-- | project/src/ui/gen-ui.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/project/src/ui/gen-ui.c b/project/src/ui/gen-ui.c index 3e072cf..7563642 100644 --- a/project/src/ui/gen-ui.c +++ b/project/src/ui/gen-ui.c @@ -154,6 +154,13 @@ bool DefineIntVar ( VarMap_t * vm, ccp varname, int value ) { return false; } "Show all information about the search" \ " for the configuration file and its content." +#define CONFIG_BRIEF \ + " Suppress configuration search list." + +#define CONFIG_LONG \ + "If set, print the global search list too." \ + " If set twice, print the auto-add search list too." + // /////////////////////////////////////////////////////////////////////////////// /////////////// the info table /////////////// |