///
bool empty() const { return list_.empty(); }
///
- void clear() { return list_.clear(); }
+ void clear() { list_.clear(); }
///
void erase(pos_type pos);
///
///
void decreasePosAfterPos(pos_type pos);
+ ///
+ void setMisspelled(
+ pos_type startpos,
+ pos_type endpos,
+ bool misspelled);
+
/// Returns the height of the highest font in range
FontSize highestInRange(
pos_type startpos,