# HG changeset patch # User pin # Date 1163482319 -32400 # Node ID 24f5a9614d783edc87be2ec68838c16203a4289c # Parent 988d3c25ff915ae4e383ed1a0d16b40fe4ed5ae5 *** empty log message *** diff -r 988d3c25ff91 -r 24f5a9614d78 bin/remoteeditor/editors/RemoteEditor.class Binary file bin/remoteeditor/editors/RemoteEditor.class has changed diff -r 988d3c25ff91 -r 24f5a9614d78 src/remoteeditor/editors/RemoteEditor.java --- a/src/remoteeditor/editors/RemoteEditor.java Tue Nov 14 04:15:46 2006 +0900 +++ b/src/remoteeditor/editors/RemoteEditor.java Tue Nov 14 14:31:59 2006 +0900 @@ -77,10 +77,10 @@ System.out.println("numberOfLinesOld : " + numberOfLinesOld + "," + "numberOfLinesNew : " + numberOfLinesNew); } - void replaceInsertDelete(int kindOfCmd, int lineNo, int LineLength, String text) throws BadLocationException{ - final int offset = document.getLineOffset(lineNo); + void replaceInsertDelete(int kindOfCmd, int lineNo, int LineLength, String text) throws Exception{ + final int offset = document.getLineOffset(lineNo-1); final String changedText = text; - final int replaceLength = document.getLineLength(lineNo); + final int replaceLength = document.getLineLength(lineNo-1); viewer.getTextWidget().getDisplay().syncExec(new Runnable() { public void run() { @@ -99,7 +99,7 @@ final String text = evt.getText(); try { replaceInsertDelete(evt.getCmd(), lineNo, Linelength, text); - } catch (BadLocationException e) { + } catch (Exception e) { e.printStackTrace(); } }