public void textInserted(Message.TextInsertMsg m) {
if (EditorServer_Debug) System.err.println("EditorServer-> textInserted.");
try {
int ClientId = m.getClientId();
int offset = m.getOffset();
String characterInserted = m.getText();
if (EditorServer_Debug)
System.out.println("EditorServer-> textInserted : *" + characterInserted + "*");
Vector pars = lockManager.textInserted(m.getPar(), offset, characterInserted, ClientId);
textChannel.sendToOthers(client, new Data(m));
EditorClient c = getEditorClient(ClientId);
// new condition inserted to avoid timestamp generation if the character
// is a newline
if (characterInserted.equals("\n")) {
if (EditorServer_Debug)
System.out.println("EditorServer-> textInserted : attempting to insert a newLine");
}
c.addTextInsertAction(System.currentTimeMillis(), pars, offset, characterInserted);
clientsPanel.updateActionTableFor(c);
updateParagraphList();
} catch (Exception e) {
System.err.println("EditorServer-> textInserted: error receiving-sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
public void textInserted(Message.TextPasteMsg m) {
try {
int SenderId = m.getClientId();
int offset = m.getOffset();
String textPasted = m.getText();
if (EditorServer_Debug)
System.err.println("EditorServer->textinserted : PASTED by : " + SenderId);
Vector pars = null;
try {
pars = lockManager.textInserted(m.getPar(), offset, textPasted, SenderId);
if (EditorServer_Debug)
System.err.println("\n+=*%EditorServer--> textInserted recovered VECTOR...");
} catch (Exception e) {
System.err.println("\n+=*%EditorServer--> textInserted VECTOR error ");
}
textChannel.sendToOthers(client, new Data(m));
EditorClient SenderClient = getEditorClient(SenderId);
SenderClient.addTextPasteAction(System.currentTimeMillis(), pars, offset, textPasted);
clientsPanel.updateActionTableFor(SenderClient);
updateParagraphList();
} catch (Exception e) {
System.err.println("\nEditorServer--> textPasted: error sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
public void gestureLine(Message.GestureLineMsg m) {
if (EditorServer_Debug)
System.err.println("EditorServer: gestureLine." + String.valueOf(m.getId()));
try {
clientChannel.sendToOthers(client, new Data(m));
EditorClient c = getEditorClient(m.getClientId());
long par = getParIdForGesture(m.getPar(), m.getAY());
c.addGestureAction(System.currentTimeMillis(), m.getId(), par, m.getAX(), m.getAY(), this);
c.addGestureAction(System.currentTimeMillis(), m.getId(), par, m.getBX(), m.getBY(), this);
clientsPanel.updateActionTableFor(c);
} catch (Exception e) {
System.err.println("EditorServer: gestureLine: error sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
public void textDeleted(Message.TextCutMsg m) {
if (EditorServer_Debug) System.err.println("EditorServer ->textCut.");
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.addTextCutAction(System.currentTimeMillis(), pars, StartOffset, EndOffset, text);
clientsPanel.updateActionTableFor(c);
updateParagraphList();
} catch (Exception e) {
System.err.println("EditorServer---> textDeleted(cut): error sending msg");
if (EditorServer_Debug) e.printStackTrace();
}
}
