src/Tools/jEdit/src/isabelle.scala
changeset 53274 1760c01f1c78
parent 53272 0dfd78ff7696
child 53276 cbed0aa0b0db
--- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 10:24:43 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 12:38:33 2013 +0200
@@ -16,6 +16,20 @@
 
 object Isabelle
 {
+  /* editor modes */
+
+  val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
+
+  def mode_syntax(name: String): Option[Outer_Syntax] =
+    name match {
+      case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
+      case "isabelle-options" => Some(Options.options_syntax)
+      case "isabelle-root" => Some(Build.root_syntax)
+      case "isabelle-news" => Some(Outer_Syntax.empty)
+      case _ => None
+    }
+
+
   /* dockable windows */
 
   private def wm(view: View): DockableWindowManager = view.getDockableWindowManager