Improve comment.

This commit is contained in:
Juergen Spitzmueller 2018-12-16 12:30:48 +01:00
parent 9705b88251
commit a48f28dc19

View File

@ -241,9 +241,10 @@ private:
// 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;
};