/// mark the given change and adjust
void record(Change, lyx::pos_type pos);
/// mark the given change and adjust
void record(Change, lyx::pos_type pos);
/// return true if there is a change in the given range
bool isChange(lyx::pos_type start, lyx::pos_type end) const;
/// return true if there is a change in the given range
bool isChange(lyx::pos_type start, lyx::pos_type end) const;
bool contains(lyx::pos_type pos) const;
// does this range contain pos, or can it be appended ?
bool contains(lyx::pos_type pos) const;
// does this range contain pos, or can it be appended ?