Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ copy
Method
copy
MiniZincIDE/codeeditor.cpp:741–744 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
739
}
740
741
void CodeEditor::copy()
742
{
743
highlighter->copyHighlightedToClipboard(textCursor());
744
}
745
746
747
void CodeEditor::cut()
Callers
1
openCompiledFzn
Method · 0.80
Calls
1
copyHighlightedToClipboard
Method · 0.80
Tested by
no test coverage detected