#include "Buffer.h"
#include "Cursor.h"
+#include "Dimension.h"
#include "DispatchResult.h"
#include "FuncRequest.h"
#include "gettext.h"
if (space_.length().len().value() >= 0.0)
height = max(height, space_.inPixels(*mi.base.bv));
- Font font;
+ FontInfo font;
font.decSize();
font.decSize();
int a = 0;
int d = 0;
- Font font;
+ FontInfo font;
font.setColor(Color_added_space);
font.decSize();
font.decSize();