Do not show master's errors if compiling child

[lyx.git] / src / frontends / qt4 / GuiView.h

diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index a3158a42f369dd24886e8edf0464a5700d6fcee0..8ff519221842ca5f6a95de3ccd9a1b812f778b34 100644 (file)
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -20,12 +20,12 @@
 #include "support/strfwd.h"
 
 #include <QMainWindow>
+#include <QMenu>
 
 class QCloseEvent;
 class QDragEnterEvent;
 class QDropEvent;
 class QLabel;
-class QMenu;
 class QShowEvent;
 
 
@@ -166,6 +166,9 @@ public:
        /// \name GuiBufferDelegate.
        //@{
        void resetAutosaveTimers();
+       // shows an error list (possibly master's)
+       // even if from_master is false, might show master's error list.
+       // this function should only be called if there was an error (#11106).
        void errors(std::string const &, bool from_master = false);
        void structureChanged();
        void updateTocItem(std::string const &, DocIterator const &);
@@ -226,6 +229,8 @@ public Q_SLOTS:
        void clearMessage();
        ///
        void updateWindowTitle(GuiWorkArea * wa);
+       ///
+       void disableShellEscape();
 
 private Q_SLOTS:
        ///
@@ -343,6 +348,8 @@ public:
        void hideDialog(std::string const & name, Inset * inset);
        ///
        void disconnectDialog(std::string const & name);
+       ///
+       bool develMode() const { return devel_mode_; }
 
 private:
        /// Saves the layout and geometry of the window
@@ -459,16 +466,35 @@ private:
        /// Request to give focus to minibuffer
        bool minibuffer_focus_;
 
+       /// Statusbar widget that shows shell-escape status
+       QLabel * shell_escape_;
        /// Statusbar widget that shows read-only status
        QLabel * read_only_;
        /// Statusbar widget that shows version control status
        QLabel * version_control_;
 
+       /// The rate from which the actual zoom value is calculated
+       /// from the default zoom pref
+       double zoom_ratio_ = 1.0;
        /// Minimum zoom percentage
        static int const zoom_min_ = 10;
 
        // movability flag of all toolbars
        bool toolbarsMovable_;
+
+       // developer mode
+       bool devel_mode_;
+};
+
+
+class SEMenu : public QMenu
+{
+       Q_OBJECT
+public:
+       explicit SEMenu(QWidget * parent);
+
+public Q_SLOTS:
+       void showMenu(QPoint const &) { exec(QCursor::pos()); }
 };
 
 } // namespace frontend