#include "MetricsInfo.h"
#include "OutputParams.h"
#include "Paragraph.h"
+#include "texstream.h"
#include "TocBackend.h"
#include "support/debug.h"
return;
// Calculate 1/3 height of font
FontMetrics const & fm = theFontMetrics(font);
- int const y_bar = int(deleted() ? y - fm.maxAscent() / 3
- : y + 2 * pi.base.solidLineOffset() + pi.base.solidLineThickness());
- pi.pain.line(int(x1), y_bar, int(x2), y_bar, color(),
+ double const y_bar = deleted() ? y - fm.maxAscent() / 3
+ : y + 2 * pi.base.solidLineOffset() + pi.base.solidLineThickness();
+ pi.pain.line(int(x1), int(y_bar), int(x2), int(y_bar), color(),
Painter::line_solid, pi.base.solidLineThickness());
}
* y2 /_____
* x1 x2
*/
- double y = 0;
switch(type) {
case UNCHANGED:
return;
case INSERTED:
- y = y2;
- break;
+ pi.pain.line(int(x1), int(y2) + 1, int(x2), int(y2) + 1,
+ color(), Painter::line_solid,
+ pi.base.solidLineThickness());
+ return;
case DELETED:
- y = y1;
- break;
+ // FIXME: we cannot use antialias since we keep drawing on the same
+ // background with the current painting mechanism.
+ pi.pain.line(int(x1), int(y2), int(x2), int(y1),
+ color(), Painter::line_solid_aliased,
+ pi.base.solidLineThickness());
+ return;
}
- pi.pain.line(int(x1), int(y2), int(x2), int(y),
- color(), Painter::line_solid,
- pi.base.solidLineThickness());
}