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 fb7236c3f4a8b3cb841ce35cacd47b8328832aea..8f4474d311d4fef7b3342cd8a15a8e2891488937 100644 (file)
--- a/src/Buffer.h
+++ b/src/Buffer.h
@@ -666,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;
        ///