I'll commit the following if nobody objects. These are remainings from the late invalidation signaling mechanism.
A/
Index: CursorSlice.h =================================================================== --- CursorSlice.h (revision 18873) +++ CursorSlice.h (working copy) @@ -57,8 +57,6 @@ CursorSlice(); /// explicit CursorSlice(Inset &); - /// - bool isValid() const; /// the current inset Inset & inset() const { return *inset_; } @@ -124,8 +122,6 @@ /// write some debug information to \p os friend std::ostream & operator<<(std::ostream &, CursorSlice const &); private: - /// - void invalidate(); /// pointer to 'owning' inset. This is some kind of cache. Inset * inset_; Index: CursorSlice.cpp =================================================================== --- CursorSlice.cpp (revision 18873) +++ CursorSlice.cpp (working copy) @@ -44,18 +44,6 @@ } -void CursorSlice::invalidate() -{ - inset_ = 0; -} - - -bool CursorSlice::isValid() const -{ - return inset_ != 0; -} - - MathData & CursorSlice::cell() const { return inset_->asInsetMath()->cell(idx_);