public void textDeleted(Message.TextDeleteMsg m) {
if (EditorServer_Debug) System.err.println("EditorServer: textDeleted.");
try {
long StartPar = m.getStartPar();
long EndPar = m.getEndPar();
int StartOffset = m.getStartOffset();
int EndOffset = m.getEndOffset();
String text = lockManager.getText(StartPar, StartOffset, EndPar, EndOffset);
Vector pars = lockManager.textDeleted(StartPar, StartOffset, EndPar, EndOffset);
textChannel.sendToOthers(client, new Data(m));
EditorClient c = getEditorClient(m.getClientId());
c.addTextDeleteAction(System.currentTimeMillis(), pars, StartOffset, EndOffset, text);
clientsPanel.updateActionTableFor(c);
updateParagraphList();
} catch (Exception e) {
System.err.println("EditorServer: textDeleted---> error sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
