public void setSelection(InputEditorSelection selection) {
AceInputEditorPosition start = (AceInputEditorPosition) selection.getStart();
AceInputEditorPosition end = (AceInputEditorPosition) selection.getEnd();
getSession()
.getSelection()
.setSelectionRange(Range.fromPoints(start.getValue(), end.getValue()));
}
@Override
public String getCode(InputEditorSelection selection) {
return getCode(
((AceInputEditorPosition) selection.getStart()).getValue(),
((AceInputEditorPosition) selection.getEnd()).getValue());
}
