Code cleanup in GuiCompleter

[features.git] / src / Buffer.h

diff --git a/src/Buffer.h b/src/Buffer.h
index 6d4f77c3fdaa15a2e923097cc060df63f998a8a1..332ef864044c05498395f2a8ec577b2652e9cd39 100644 (file)
--- a/src/Buffer.h
+++ b/src/Buffer.h
@@ -728,7 +728,7 @@ public:
        /// Updates screen labels and some other information associated with
        /// insets and paragraphs. Actually, it's more like a general "recurse
        /// through the Buffer" routine, that visits all the insets and paragraphs.
-       void updateBuffer() const { updateBuffer(UpdateMaster, InternalUpdate); }
+       void updateBuffer() const;
        /// \param scope: whether to start with the master document or just
        /// do this one.
        /// \param output: whether we are preparing for output.
@@ -748,6 +748,8 @@ public:
        /// \return progress if a new word was found.
        int spellCheck(DocIterator & from, DocIterator & to,
                WordLangTuple & word_lang, docstring_list & suggestions) const;
+       /// Marks the whole buffer to be checked (again)
+       void requestSpellcheck();
        ///
        void checkChildBuffers();
        ///