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/isabelle_sidekick.scala
changeset 34824 ac35eee85f5c
parent 34823 2f3ea37c5958
child 34832 d785f72ef388 
--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Fri Jan 01 14:41:25 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Fri Jan 01 17:29:35 2010 +0100
@@ -43,7 +43,7 @@
 
     Swing_Thread.now { Document_Model(buffer) } match {
       case Some(model) =>
-        val document = model.current_document()
+        val document = model.recent_document()
         for (command <- document.commands if !stopped) {
           root.add(command.markup_root(document).swing_tree((node: Markup_Node) =>
               {
isabelle