Context: Override verbosity token should not imply header

Users might want to only opt-in into footnote override notifications,
without seeing header-based override information about TASKRC or
TASKDATA.
This commit is contained in:
Tomas Babej 2021-09-16 07:04:20 -04:00
parent a5d5a025b7
commit 9a3b103861
2 changed files with 2 additions and 2 deletions

View file

@ -1075,7 +1075,7 @@ bool Context::verbose (const std::string& token)
// Some flags imply "header" verbosity being active. Make it so.
if (! verbosity.count ("header"))
{
for (auto flag : {"default", "override"})
for (auto flag : {"default"})
{
if (verbosity.count (flag))
{