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()); }