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/document_model.scala
changeset 56457 eea4bbe15745
parent 56335 8953d4cc060a
child 56462 b64b0cb845fe 
--- a/src/Tools/jEdit/src/document_model.scala	Mon Apr 07 16:37:57 2014 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Mon Apr 07 21:23:02 2014 +0200
@@ -119,7 +119,7 @@
         for {
           cmd <- snapshot.node.load_commands
           blob_name <- cmd.blobs_names
-          blob_buffer <- JEdit_Lib.jedit_buffer(blob_name.node)
+          blob_buffer <- JEdit_Lib.jedit_buffer(blob_name)
           if !JEdit_Lib.jedit_text_areas(blob_buffer).isEmpty
           start <- snapshot.node.command_start(cmd)
           range = snapshot.convert(cmd.proper_range + start)
isabelle