/// Convenience: prepare undo for the selected paragraphs
void recordUndoSelection();
+ ///
+ void checkBufferStructure();
+
public:
///
BufferView * bv_;
// of a big inset spanning a whole row and computing coordinates for
// displaying the cursor.
bool logicalpos_;
- /// x position before dispatch started
- int beforeDispX_;
- /// y position before dispatch started
- int beforeDispY_;
/// position before dispatch started
DocIterator beforeDispatchCursor_;
// selection in given cell of atom
void handleNest(MathAtom const & at, int cell = 0);
///
- bool isInside(Inset const *);
+ bool isInside(Inset const *) const;
/// make sure cursor position is valid
/// FIXME: It does a subset of fixIfBroken. Maybe merge them?