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 48883 04cd2fddb4d9
parent 48882 61dc7d5d150a
child 48885 d5fdaf7dd1f8 
--- a/src/Tools/jEdit/src/document_model.scala	Wed Aug 22 15:53:17 2012 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Wed Aug 22 16:10:23 2012 +0200
@@ -68,7 +68,8 @@
     Swing_Thread.require()
     Isabelle.buffer_lock(buffer) {
       Exn.capture {
-        Isabelle.thy_load.check_thy_text(name, buffer.getSegment(0, buffer.getLength))
+        val text = buffer.getSegment(0, buffer.getLength)
+        Isabelle.thy_load.check_thy_text(session.recent_syntax, name, text)
       } match {
         case Exn.Res(header) => header
         case Exn.Exn(exn) => Document.Node.bad_header(Exn.message(exn))
isabelle