class Color_color;
class Cursor;
class PainterInfo;
-class Row;
class Spacing;
///
void setCursorIntern(Cursor & cur, pit_type par,
pos_type pos, bool setfont = true, bool boundary = false);
- ///
- void setCurrentFont(Cursor & cur);
///
void recUndo(Cursor & cur, pit_type first, pit_type last) const;
/// return true if this is the main text
bool isMainText(Buffer const &) const;
- /// is this row the last in the text?
- /// FIXME: move to TextMetrics.
- bool isLastRow(pit_type pit, Row const & row) const;
- /// is this row the first in the text?
- /// FIXME: move to TextMetrics.
- bool isFirstRow(pit_type pit, Row const & row) const;
-
///
double spacing(Buffer const & buffer, Paragraph const & par) const;
/// make a suggestion for a label
void deleteEmptyParagraphMechanism(pit_type first, pit_type last, bool trackChanges);
public:
- /// the current font settings
- Font current_font;
- /// the current font
- Font real_current_font;
///
int background_color_;