pos_type const pos = dit.pos();
if (pos != dit.lastpos() && !par.isDeleted(pos)) {
- if (par.isInset(pos)) {
- Inset const * ins = par.getInset(pos);
+ if (Inset const * ins = par.getInset(pos)) {
if (ins->isLetter())
++chars;
else if (with_blanks && ins->isSpace())
// set the label of a paragraph. This includes the counters.
void setLabel(Buffer const & buf, ParIterator & it)
{
- TextClass const & textclass = buf.params().getTextClass();
+ TextClass const & textclass = buf.params().textClass();
Paragraph & par = it.paragraph();
LayoutPtr const & layout = par.layout();
Counters & counters = textclass.counters();
{
Buffer const * const master = buf.masterBuffer();
// Use the master text class also for child documents
- TextClass const & textclass = master->params().getTextClass();
+ TextClass const & textclass = master->params().textClass();
if (!childonly) {
// If this is a child document start with the master