virtual DisplayType display() const;
///
docstring name() const { return from_ascii("Listings"); }
+ // Update the counters of this inset and of its contents
+ virtual void updateLabels(Buffer const &, ParIterator const &);
///
void write(Buffer const & buf, std::ostream & os) const;
///
///
void validate(LaTeXFeatures &) const;
///
+ void metrics(MetricsInfo &, Dimension &) const;
+ ///
+ void draw(PainterInfo & pi, int x, int y) const;
+ ///
bool showInsetDialog(BufferView *) const;
///
void getDrawFont(Font &) const;
///
bool getStatus(Cursor & cur, FuncRequest const & cmd, FuncStatus &) const;
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
///
void init();
///