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

Method handleFocusChange

MiniZincIDE/ide.cpp:319–324  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

317#endif
318
319void IDE::handleFocusChange(QWidget *old, QWidget *newW)
320{
321 if (old==nullptr && newW!=nullptr && !modifiedFiles.empty()) {
322 fileModifiedTimeout();
323 }
324}
325
326void IDE::fileModifiedTimeout(void)
327{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected