src/Tools/jEdit/src/jedit/ProverSetup.scala
changeset 34629 fdc1087a970f
parent 34624 5e4f33d033ba
child 34632 f044d8446ae9
--- 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) {