+ case KeyInfo::isSectioning: {
+ // Discard space before _tokenstart
+ int count;
+ for (count = 0; count < nextKey._tokenstart; count++) {
+ if (interval.par[nextKey._tokenstart-count-1] != ' ')
+ break;
+ }
+ interval.addIntervall(nextKey._tokenstart-count, nextKey._tokenstart);
+ processRegion(os, old_start, nextKey._tokenstart);
+ old_start = nextKey._dataEnd+1;
+ nextKeyIdx = process(os, nextKeyIdx, false);
+ break;
+ }