&& !cur.buffer().isClean()
&& cur.inTexted() && old.inTexted()
&& cur.pit() != old.pit()) {
- old.paragraph().updateWords(old.buffer(), old.top());
+ old.paragraph().updateWords(old.top());
return false;
}
&& !par.isLetter(cur.pos() - 1)) {
// get the word in front of cursor
BOOST_ASSERT(this == cur.text());
- cur.paragraph().updateWords(cur.buffer(), cur.top());
+ cur.paragraph().updateWords(cur.top());
}
}
// register the words in the global word list
CursorSlice sl = CursorSlice(*insetPtr);
sl.pit() = pars_.size() - 1;
- pars_.back().updateWords(buf, sl);
+ pars_.back().updateWords(sl);
} else if (token == "\\begin_deeper") {
++depth;
} else if (token == "\\end_deeper") {