src/Tools/jEdit/src/isabelle.scala
changeset 53274 1760c01f1c78
parent 53272 0dfd78ff7696
child 53276 cbed0aa0b0db
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 10:24:43 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 12:38:33 2013 +0200
     1.3 @@ -16,6 +16,20 @@
     1.4  
     1.5  object Isabelle
     1.6  {
     1.7 +  /* editor modes */
     1.8 +
     1.9 +  val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
    1.10 +
    1.11 +  def mode_syntax(name: String): Option[Outer_Syntax] =
    1.12 +    name match {
    1.13 +      case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
    1.14 +      case "isabelle-options" => Some(Options.options_syntax)
    1.15 +      case "isabelle-root" => Some(Build.root_syntax)
    1.16 +      case "isabelle-news" => Some(Outer_Syntax.empty)
    1.17 +      case _ => None
    1.18 +    }
    1.19 +
    1.20 +
    1.21    /* dockable windows */
    1.22  
    1.23    private def wm(view: View): DockableWindowManager = view.getDockableWindowManager