| 501 | } |
| 502 | |
| 503 | void Workbench::removeTaskWatcher() |
| 504 | { |
| 505 | Gui::TaskView::TaskView* taskView = Control().taskPanel(); |
| 506 | if (taskView) { |
| 507 | taskView->clearTaskWatcher(); |
| 508 | } |
| 509 | } |
| 510 | |
| 511 | std::list<std::string> Workbench::listToolbars() const |
| 512 | { |
no test coverage detected