--- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala Thu Aug 05 13:41:00 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala Thu Aug 05 14:35:35 2010 +0200
@@ -166,7 +166,7 @@
var next_x = start
for {
- (command, command_start) <- document.command_range(from(start), from(stop))
+ (command, command_start) <- document.command_range(model.thy_name, from(start), from(stop))
markup <- document.current_state(command).highlight.flatten
val abs_start = to(command_start + markup.start)
val abs_stop = to(command_start + markup.stop)