changeset 140:347ebb50ff05

*** empty log message ***
author pin
date Fri, 01 Feb 2008 10:11:14 +0900
parents 4cff3c065460
children ab95811322de
files src/remoteeditor/editors/RemoteEditor.java
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/remoteeditor/editors/RemoteEditor.java	Fri Feb 01 10:05:13 2008 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Fri Feb 01 10:11:14 2008 +0900
@@ -130,7 +130,10 @@
 		super.dispose();
 	}
 	public void textChanged(TextEvent event) {
-		if(lock) return;
+		if(lock) {
+			numberOfLinesOld = document.getNumberOfLines();
+			return;
+		}
 		String replacedText = event.getReplacedText();
 		String inputText = event.getText();