| 525 | } |
| 526 | |
| 527 | void ExecutionWindow::toggleLanternView(bool checked) |
| 528 | { |
| 529 | |
| 530 | if (checked) |
| 531 | { |
| 532 | const int max_nodes = execution_.tree().nodeCount(); |
| 533 | lantern_widget->setMax(max_nodes); |
| 534 | lantern_widget->show(); |
| 535 | auto old_value = lantern_widget->value(); |
| 536 | traditional_view_->hideBySize(old_value); |
| 537 | } |
| 538 | else |
| 539 | { |
| 540 | /// Undo lantern tree |
| 541 | traditional_view_->undoLanterns(); |
| 542 | traditional_view_->unhideAll(); |
| 543 | lantern_widget->hide(); |
| 544 | } |
| 545 | } |
| 546 | |
| 547 | void ExecutionWindow::setDarkMode(bool d) |
| 548 | { |
nothing calls this directly
no test coverage detected