Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ ~ConfigWindow
Method
~ConfigWindow
MiniZincIDE/configwindow.cpp:70–76 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
68
}
69
70
ConfigWindow::~ConfigWindow()
71
{
72
delete ui;
73
for (auto sc : configs) {
74
delete sc;
75
}
76
}
77
78
void ConfigWindow::init()
79
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected