comparison src/remoteeditor/editors/RemoteEditor.java @ 16:b8f407692ecf

*** empty log message ***
author pin
date Tue, 24 Oct 2006 18:03:13 +0900
parents 535f124c2fc3
children b409b85ab73f
comparison
equal deleted inserted replaced
15:535f124c2fc3 16:b8f407692ecf
76 public void packetReceived(RSocketEvent evt) { 76 public void packetReceived(RSocketEvent evt) {
77 final int offset = evt.getLineNo(); 77 final int offset = evt.getLineNo();
78 final int length = evt.getLength(); 78 final int length = evt.getLength();
79 final String text = evt.getText(); 79 final String text = evt.getText();
80 System.out.println(offset + " : " + length); 80 System.out.println(offset + " : " + length);
81 if(evt.getCmd() == REP.REP_INSERT_CMD && evt.getSeqId() != 1){ 81 if(evt.getCmd() == REP.REP_INSERT_CMD){
82 viewer.getTextWidget().getDisplay().syncExec(new Runnable() { 82 viewer.getTextWidget().getDisplay().syncExec(new Runnable() {
83 public void run() { 83 public void run() {
84 try { 84 try {
85 document.replace(offset, 0, text); 85 document.replace(offset, 0, text);
86 } catch (BadLocationException e) { 86 } catch (BadLocationException e) {