Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prover.set_document: plain name, no path for now;
authorwenzelm
Fri, 26 Jun 2009 21:46:34 +0200
changeset 34629 fdc1087a970f
parent 34628 7d16987b73de
child 34630 9ba00a967121
prover.set_document: plain name, no path for now;
src/Tools/jEdit/src/jedit/ProverSetup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Jun 26 21:21:24 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Jun 26 21:46:34 2009 +0200
@@ -37,12 +37,9 @@
     prover = new Prover(Isabelle.system, Isabelle.default_logic)
     prover.start() // start actor
     val buffer = view.getBuffer
-    val path = buffer.getPath
 
     theory_view = new TheoryView(view.getTextArea, prover)
-    prover.set_document(theory_view.change_receiver,
-      if (path.startsWith(VFS.PREFIX)) path.substring(VFS.PREFIX.length)
-      else path)
+    prover.set_document(theory_view.change_receiver, buffer.getName)
     theory_view.activate
     val MAX = TheoryView.MAX_CHANGE_LENGTH
     for (i <- 0 to buffer.getLength / MAX) {
isabelle