* Pop up error dialog if issuing master-buffer-[view|update] and errors occured.

[features.git] / src / frontends / qt4 / GuiErrorList.h

diff --git a/src/frontends/qt4/GuiErrorList.h b/src/frontends/qt4/GuiErrorList.h
index 9bb68102013587253f120484f7ed2610b159beb8..af4f0b9abc778fbfb60442c882169332b567c41b 100644 (file)
--- a/src/frontends/qt4/GuiErrorList.h
+++ b/src/frontends/qt4/GuiErrorList.h
@@ -57,6 +57,8 @@ private:
        std::string error_type_;
        /// the parent document name
        docstring name_;
+       ///
+       bool from_master_;
 };
 
 } // namespace frontend