void beginUndoGroup() const;
/// end the current undo group
void endUndoGroup() const;
+ /// end abruptly the current group and create a new one wih the same nesting level
+ void splitUndoGroup() const;
/// The general case: prepare undo for an arbitrary range.
void recordUndo(pit_type from, pit_type to) const;
// FIXME: make them private
public:
- /// the current font settings
+ /// The current font settings. This holds the settings for output.
Font current_font;
- /// the current font
+ /// The current display font. This holds the settings of the text
+ /// in the workarea.
Font real_current_font;
};