MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / ~IDE

Method ~IDE

MiniZincIDE/ide.cpp:493–502  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

491}
492
493IDE::~IDE(void) {
494 QSettings settings;
495 settings.setValue("statistics",stats.toVariantMap());
496 settings.beginGroup("Recent");
497 settings.setValue("files",recentFiles);
498 settings.setValue("projects",recentProjects);
499 settings.endGroup();
500 settings.beginGroup("ide");
501 settings.endGroup();
502}
503
504bool IDE::hasFile(const QString& path)
505{

Callers

nothing calls this directly

Calls 1

toVariantMapMethod · 0.80

Tested by

no test coverage detected