commit 92ccf0a1a20e73a1ecf8d335ad2a2ef90ec9a89b
Author: Richard Kimberly Heck <[email protected]>
Date: Thu Sep 27 21:56:29 2018 -0400
Allow 'module in child not used in master' warning to be disabled.
---
src/insets/InsetInclude.cpp | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index 2d91f62..8d1a4a8 100644
--- a/src/insets/InsetInclude.cpp
+++ b/src/insets/InsetInclude.cpp
@@ -769,7 +769,7 @@ void InsetInclude::latex(otexstream & os, OutputParams
const & runparams) const
"uses module `%2$s'\n"
"which is not used in parent
file."),
included_file.displayName(),
from_utf8(module));
- Alert::warning(_("Module not found"),
text);
+ Alert::warning(_("Module not found"),
text, true);
}
}
}