Allow removing words from the personal dictionary, that weren't previously added.

[features.git] / src / Buffer.h

diff --git a/src/Buffer.h b/src/Buffer.h
index 0d79ffaff4ed25cab530d71fa6b87c89acae1a5e..8f4474d311d4fef7b3342cd8a15a8e2891488937 100644 (file)
--- a/src/Buffer.h
+++ b/src/Buffer.h
@@ -171,7 +171,7 @@ public:
 
        /// Can this function be exectued?
        /// \return true if we made a decision
-       bool getStatus(FuncRequest const & cmd, FuncStatus & flag);
+       bool getStatus(FuncRequest const & cmd, FuncStatus & flag) const;
 
        ///
        DocIterator getParFromID(int id) const;
@@ -221,6 +221,11 @@ public:
        int readHeader(Lexer & lex);
 
        double fontScalingFactor() const;
+       /// check for active synctex support:
+       /// - either the document has synchronize output enabled or
+       /// - there is a converter to dvi or pdf defined with synctex command line argument
+       ///   this is the "expert mode", false positives are possible
+       bool isSyncTeXenabled() const;
 
 private:
        ///
@@ -521,8 +526,8 @@ public:
        void invalidateCiteLabels() const;
        ///
        bool citeLabelsValid() const;
-       ///
-       void getLabelList(std::vector<docstring> &) const;
+       /// two strings: plain label name and label as gui string
+       void getLabelList(std::vector<std::pair<docstring, docstring>> &) const;
 
        /// This removes the .aux and .bbl files from the temp dir.
        void removeBiblioTempFiles() const;
@@ -661,6 +666,8 @@ public:
        void setBusy(bool on) const;
        /// Update window titles of all users.
        void updateTitles() const;
+       /// Schedule redraw of work areas
+       void scheduleRedrawWorkAreas() const;
        /// Reset autosave timers for all users.
        void resetAutosaveTimers() const;
        ///