src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34337 5d5b69f2956b
parent 34318 c13e168a8ae6
child 34406 f81cd75ae331
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Oct 21 22:27:53 2008 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Oct 21 22:28:58 2008 +0200
@@ -16,6 +16,7 @@
 object Plugin {
   val NAME = "Isabelle"
   val OPTION_PREFIX = "options.isabelle."
+  val VFS_PREFIX = "isabelle:"
   
   def property(name : String) = jEdit.getProperty(OPTION_PREFIX + name)
   def property(name : String, value : String) = 
@@ -49,7 +50,7 @@
     prover.start(if (logic == null) logic else "HOL")
     val dir = view.getBuffer().getDirectory()
     prover.setDocument(theoryView, 
-                       if (dir.startsWith("isa:")) dir.substring(4) else dir)
+                       if (dir.startsWith(VFS_PREFIX)) dir.substring(VFS_PREFIX.length) else dir)
     TheoryView.activateTextArea(view.getTextArea())
   }