Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala
changeset 34556 09a5984250a2
parent 34555 7c001369956a
child 34564 850dc36d4926 
--- a/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Mon Apr 27 14:03:05 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Mon Apr 27 17:33:49 2009 +0200
@@ -82,7 +82,7 @@
     var next_x = start
     for {
       command <- document.commands.dropWhile(_.stop(document) <= from(start)).takeWhile(_.start(document) < from(stop))
-      markup <- command.root_node.flatten
+      markup <- command.highlight_node.flatten
       if(to(markup.abs_stop(document)) > start)
       if(to(markup.abs_start(document)) < stop)
       byte = DynamicTokenMarker.choose_byte(markup.desc)
isabelle