--- a/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala Wed Jul 08 13:29:43 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala Wed Jul 08 13:29:44 2009 +0200
@@ -106,14 +106,13 @@
val start = buffer.getLineStartOffset(line)
val stop = start + line_segment.count
- val document = prover.document
val theory_view = Isabelle.prover_setup(buffer).get.theory_view
+ val document = theory_view.current_document()
def to: Int => Int = theory_view.to_current(document.id, _)
def from: Int => Int = theory_view.from_current(document.id, _)
+ var command = document.find_command_at(from(start))
var next_x = start
-
- var command = document.find_command_at(from(start))
while (command != null && command.start(document) < from(stop)) {
for {
markup <- command.highlight_node.flatten