--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat May 30 23:27:37 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Tue Jun 02 21:20:22 2009 +0200
@@ -40,9 +40,11 @@
theory_view = new TheoryView(view.getTextArea, prover)
prover.set_document(theory_view.change_receiver,
- if (path.startsWith(Isabelle.VFS_PREFIX)) path.substring(Isabelle.VFS_PREFIX.length) else path)
+ if (path.startsWith(Isabelle.VFS_PREFIX)) path.substring(Isabelle.VFS_PREFIX.length)
+ else path)
theory_view.activate
- prover ! new isabelle.proofdocument.Text.Change(Isabelle.plugin.id(), 0,buffer.getText(0, buffer.getLength),0)
+ prover ! new isabelle.proofdocument.Text.Change(
+ Isabelle.plugin.id(), 0, buffer.getText(0, buffer.getLength), 0)
//register output-view
prover.output_info += (text =>