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

Method setDebugMode

cp-profiler/src/cpprofiler/tree/traditional_view.cpp:840–846  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

838}
839
840void TraditionalView::setDebugMode(bool v)
841{
842 scroll_area_->setDebugMode(true);
843 layout_computer_->setDebugMode(true);
844 emit needsLayoutUpdate();
845 emit needsRedrawing();
846}
847
848void TraditionalView::setDarkMode(bool d)
849{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected