--- a/src/Tools/jEdit/src/prover/Document.scala Mon Jan 19 21:04:30 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Document.scala Mon Jan 19 21:38:50 2009 +0100
@@ -63,7 +63,7 @@
before = start.command
}
else
- before = first.previous
+ before = first.prev
}
var addedCommands : List[Command] = Nil
@@ -73,7 +73,7 @@
if (first != null && first.first != removed) {
scan = first.first
if (before == null)
- before = first.previous
+ before = first.prev
}
else if (next != null && next != stop) {
if (next.kind.equals(Token.Kind.COMMAND_START)) {
@@ -85,12 +85,12 @@
removedCommands = first :: removedCommands
scan = first.first
if (before == null)
- before = first.previous
+ before = first.prev
}
else {
scan = first.first
if (before == null)
- before = first.previous
+ before = first.prev
}
}
}