class MetricsBase {
public:
///
- MetricsBase();
- ///
- MetricsBase(BufferView * bv, FontInfo font, int textwidth);
+ MetricsBase(BufferView * bv = 0, FontInfo font = FontInfo(),
+ int textwidth = 0);
/// the current view
BufferView * bv;
int textwidth;
/// Temporarily change a full font.
- Changer changeFontSet(docstring const & font, bool cond = true);
- Changer changeFontSet(char const * font, bool cond = true);
+ Changer changeFontSet(std::string const & font, bool cond = true);
/// Temporarily change the font size and the math style.
Changer changeStyle(Styles style, bool cond = true);
// Temporarily change to the style suitable for use in fractions