void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
/// return the argument(s) only
void getArgs(otexstream & os, OutputParams const &, bool const post = false) const;
/// return the argument(s) only
void getArgs(otexstream & os, OutputParams const &, bool const post = false) const;
/// Update the counters of this inset and of its contents
virtual void updateBuffer(ParIterator const &, UpdateType);
/// Update the counters of this inset and of its contents
virtual void updateBuffer(ParIterator const &, UpdateType);
/// \param prefix: a string that will preced the tooltip,
/// e.g., "Index: ".
/// \param len: length of the resulting string
/// \param prefix: a string that will preced the tooltip,
/// e.g., "Index: ".
/// \param len: length of the resulting string
/// GUI, but definitely do not try to use it in updateBuffer or anything
/// of that sort. (Note: unnecessary internal copies have been removed
/// since the previous note. The efficiency would have to be assessed
/// GUI, but definitely do not try to use it in updateBuffer or anything
/// of that sort. (Note: unnecessary internal copies have been removed
/// since the previous note. The efficiency would have to be assessed