///
virtual std::auto_ptr<InsetBase> clone() const;
/// get cursor position
- void getPos(idx_type idx, pos_type pos, int & x, int & y) const;
+ void getScreenPos(idx_type idx, pos_type pos, int & x, int & y) const;
/// this stores metrics information in cache_
void metrics(MetricsInfo & mi, Dimension & dim) const;
/// draw according to cached metrics
void drawSelection(PainterInfo & pi,
idx_type idx1, pos_type pos1, idx_type idx2, pos_type pos2) const;
/// moves cursor up or down
- bool idxUpDown2(idx_type &, pos_type & pos, bool up, int targetx) const;
+ //bool idxUpDown2(BufferView & pos, bool up, int targetx) const;
protected:
/// row corresponding to given position
idx_type pos2row(pos_type pos) const;