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

Method removeEditor

MiniZincIDE/ide.cpp:585–599  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

583}
584
585void IDE::removeEditor(const QString& path, CodeEditor* ce)
586{
587 DMap::iterator it = documents.find(path);
588 if (it == documents.end()) {
589 qDebug() << "internal error: document " << path << " not found";
590 } else {
591 QSet<CodeEditor*>& editors = it.value()->editors;
592 editors.remove(ce);
593 if (editors.empty()) {
594 delete it.value();
595 documents.remove(path);
596 fsWatch.removePath(path);
597 }
598 }
599}
600
601void IDE::renameFile(const QString& oldPath, const QString& newPath)
602{

Callers 3

tabCloseRequestMethod · 0.80
saveFileMethod · 0.80

Calls 4

findMethod · 0.80
removeMethod · 0.80
endMethod · 0.45
valueMethod · 0.45

Tested by

no test coverage detected