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

Method autoUpdate

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

Source from the content-addressed store, hash-verified

348}
349
350void TraditionalView::autoUpdate()
351{
352 if (!layout_stale_)
353 return;
354
355 const auto changed = updateLayout();
356 if (changed)
357 {
358 emit needsRedrawing();
359 }
360}
361
362void TraditionalView::handleDoubleClick()
363{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected