Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ navRoot
Method
navRoot
cp-profiler/src/cpprofiler/tree/traditional_view.cpp:98–104 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
96
}
97
98
void TraditionalView::navRoot()
99
{
100
auto root = tree_.getRoot();
101
emit nodeSelected(root);
102
centerCurrentNode(); /// TODO: this should be needed
103
emit needsRedrawing();
104
}
105
106
void TraditionalView::navDown()
107
{
Callers
nothing calls this directly
Calls
1
getRoot
Method · 0.45
Tested by
no test coverage detected