public void selectionChanged(int start, int end) {
selMin = Math.min(start, end);
selMax = Math.max(start, end);
DocDiff diff = user.cursorDiff(selMin, selMax, editor.getShadow().getText());
cdoc.getShared().applyDiff(diff, editor.getCollaboratorId());
checkMarkers();
}
private void showAddMarkerPopup(boolean notingEnabled, boolean lockingEnabled) {
AddMarkerComponent am = new AddMarkerComponent(this, notingEnabled, lockingEnabled);
String title = editor.getShadow().getText().substring(selMin, selMax);
showPopup(title, am, editor.getCursorCoords()[1]);
}