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_thy_load.scala
changeset 44580 3bc9a215a56d
parent 44577 96b6388d06c4
child 44615 a4ff8a787202 
--- a/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 30 12:24:55 2011 +0200
+++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 30 15:43:27 2011 +0200
@@ -49,7 +49,7 @@
   override def check_thy(node_name: String): Thy_Header =
   {
     Swing_Thread.now {
-      Isabelle.jedit_buffers().find(buffer => Isabelle.buffer_name(buffer) == node_name) match {
+      Isabelle.jedit_buffer(node_name) match {
         case Some(buffer) =>
           Isabelle.buffer_lock(buffer) {
             val text = new Segment
isabelle