Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ contentsChangedWithTimeout
Method
contentsChangedWithTimeout
MiniZincIDE/codeeditor.cpp:195–198 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
193
}
194
195
void CodeEditor::contentsChangedWithTimeout()
196
{
197
emit changedDebounced();
198
}
199
200
void CodeEditor::keyPressEvent(QKeyEvent *e)
201
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected