MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / setDarkMode

Method setDarkMode

cp-profiler/src/cpprofiler/execution_window.cpp:547–557  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

545}
546
547void ExecutionWindow::setDarkMode(bool d)
548{
549 dark_mode_ = d;
550 traditional_view_->setDarkMode(dark_mode_);
551 if (pixel_tree_ != nullptr) {
552 pixel_tree_->setDarkMode(dark_mode_);
553 }
554 if (icicle_tree_ != nullptr) {
555 icicle_tree_->setDarkMode(dark_mode_);
556 }
557}
558
559void ExecutionWindow::print_log(const std::string &str)
560{

Callers 2

showPixelTreeMethod · 0.45
showIcicleTreeMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected