| 765 | } |
| 766 | |
| 767 | void TabWidget::gotoNextPosition() |
| 768 | { |
| 769 | if (d->nextPosRecord.isEmpty()) |
| 770 | return; |
| 771 | |
| 772 | auto record = d->nextPosRecord.takeFirst(); |
| 773 | auto editor = d->findEditor(record.fileName); |
| 774 | if (!editor) |
| 775 | return; |
| 776 | |
| 777 | d->curPosRecord = record; |
| 778 | d->prePosRecord.append(record); |
| 779 | d->tabBar->switchTab(record.fileName); |
| 780 | editor->gotoPosition(record.pos); |
| 781 | } |
| 782 | |
| 783 | void TabWidget::gotoPreviousPosition() |
| 784 | { |
no test coverage detected