dim.asc += 4;
dim.des += 4;
dim.wid += 2 * w_ + 4;
- metricsMarkers();
+ metricsMarkers(dim);
}
dim_ = dim;
}
pi.base.font.setColor(lcolor.getFromGUIName(asString(cell(0))));
cell(1).draw(pi, x, y);
pi.base.font.setColor(origcol);
+ setPosCache(pi, x, y);
}
{
if (oldstyle_)
os << "{\\color" << '{' << cell(0) << '}' << cell(1) << '}';
- else
+ else
os << "\\textcolor" << '{' << cell(0) << "}{" << cell(1) << '}';
}