Design #1721
Updated by Anna Maria Bigatti about 1 year ago
Discussion:
Should a verbose message indicate at what level it first appears?
Context:
@SetVerbosityLevel(99);@ produced a lot more output than I wanted, but I am too
lazy to search through doc (or the source code) to find out what level triggers
the many messages I do not want. If the message indicated that it appears at or
above level 80 (say), then I can simply try level 79.
*2023-03* Also added indentation for depth of call @D@.
Should a verbose message indicate at what level it first appears?
Context:
@SetVerbosityLevel(99);@ produced a lot more output than I wanted, but I am too
lazy to search through doc (or the source code) to find out what level triggers
the many messages I do not want. If the message indicated that it appears at or
above level 80 (say), then I can simply try level 79.
*2023-03* Also added indentation for depth of call @D@.