void setChanged(bool c) { changed_ = c; }
///
void setCrc(size_type crc);
+ ///
+ void setSelection(pos_type sel_beg, pos_type sel_end);
+
///
void pos(pos_type p);
///
int descent() const { return dim_.des; }
/// current debugging only
- void dump(const char * = "") const;
+ void dump(char const * = "") const;
/// width of a separator (i.e. space)
double separator;
double label_hfill;
/// the x position of the row
double x;
-
+ ///
+ pos_type sel_beg;
+ ///
+ pos_type sel_end;
private:
/// has the Row appearance changed since last drawing?
bool changed_;