+ ///
+ bool changed() const { return changed_; }
+ ///
+ void setChanged(bool c) { changed_ = c; }
+ ///
+ void setCrc(size_type crc) const;
+ /// Set the selection begin and end.
+ /**
+ * This is const because we update the selection status only at draw()
+ * time.
+ */
+ void setSelection(pos_type sel_beg, pos_type sel_end) const;
+