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