Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ changeStartNode
Method
changeStartNode
cp-profiler/src/cpprofiler/tree/tree_scroll_area.cpp:296–299 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
294
}
295
296
void TreeScrollArea::changeStartNode(NodeID nid)
297
{
298
m_start_node = nid;
299
}
300
301
void TreeScrollArea::setDarkMode(bool d)
302
{
Callers
1
setNode
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected