diff --git a/src/BufferView.cpp b/src/BufferView.cpp index 3050a7b498..9d7af3bbad 100644 --- a/src/BufferView.cpp +++ b/src/BufferView.cpp @@ -315,6 +315,9 @@ BufferView::~BufferView() fp.pit = d->cursor_.bottom().pit(); fp.pos = d->cursor_.bottom().pos(); theSession().lastFilePos().save(buffer_.fileName(), fp); + + if (d->last_inset_) + d->last_inset_->setMouseHover(this, false); delete d; }