| 716 | } |
| 717 | |
| 718 | void Controller::showContextWidget() |
| 719 | { |
| 720 | auto contextInfo = d->allWidgets[WN_CONTEXTWIDGET]; |
| 721 | if (!contextInfo.created) { |
| 722 | createDockWidget(d->allWidgets[WN_CONTEXTWIDGET]); |
| 723 | d->mainWindow->deleteDockHeader(WN_CONTEXTWIDGET); |
| 724 | } else if (!contextInfo.hiddenByManual) { |
| 725 | d->mainWindow->showWidget(WN_CONTEXTWIDGET); |
| 726 | } |
| 727 | d->currentDocks.append(WN_CONTEXTWIDGET); |
| 728 | } |
| 729 | |
| 730 | void Controller::showRightspace() |
| 731 | { |
no test coverage detected