Allow 'module in child not used in master' warning to be disabled.

(cherry picked from commit 92ccf0a1a20e73a1ecf8d335ad2a2ef90ec9a89b)

diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index 89f2533111a99f04cc6f9551c5577750c6cf5de5..437e0ea3094caeb94dd758841b0e9ddb4a362987 100644 (file)
--- a/src/insets/InsetInclude.cpp
+++ b/src/insets/InsetInclude.cpp
@@ -762,7 +762,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);
                                }
                        }
                }