- // If the paragraphs after the last one have a
- // non-zero depth and the depth of last paragraph is
- // decremented, then these paragraphs may be affected
- // (ticket #8159). We guard against that by saving
- // these extra paragraphs.
- while (last != plist.end() && last->params().depth() > 0) {
- ++last;
- --undo.end;
- }