Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ shiftLeft
Method
shiftLeft
MiniZincIDE/codeeditor.cpp:804–807 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
802
}
803
804
void CodeEditor::shiftLeft()
805
{
806
shiftSelected(-1);
807
}
808
809
void CodeEditor::shiftRight()
810
{
Callers
1
on_actionShift_left_triggered
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected