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

[features.git] / src / insets / Inset.cpp

diff --git a/src/insets/Inset.cpp b/src/insets/Inset.cpp
index 7d05c8ef1fa3097e8ae9cc8af773232e894ad969..acd8ab2cf24a11b8a28e8103d066a6fb32e5da51 100644 (file)
--- a/src/insets/Inset.cpp
+++ b/src/insets/Inset.cpp
@@ -352,6 +352,8 @@ void Inset::dispatch(Cursor & cur, FuncRequest & cmd)
        cur.screenUpdateFlags(Update::Force | Update::FitCursor);
        cur.dispatched();
        doDispatch(cur, cmd);
+       if (cmd.origin() == FuncRequest::TOC)
+               cur.bv().processUpdateFlags(cur.result().screenUpdate());
 }
 
 
@@ -584,7 +586,12 @@ void Inset::drawMarkers(PainterInfo & pi, int x, int y) const
 
 bool Inset::editing(BufferView const * bv) const
 {
-       return bv->cursor().isInside(this);
+       if (bv->mouseSelecting())
+               // Avoid flicker when selecting with the mouse: when so, do not make
+               // decisions about metrics based on the mouse location.
+               return bv->cursor().realAnchor().isInside(this);
+       else
+               return bv->cursor().isInside(this);
 }