src/Tools/jEdit/src/isabelle.scala
changeset 53276 cbed0aa0b0db
parent 53274 1760c01f1c78
child 53277 6aa348237973
equal deleted inserted replaced
53275:b34aac6511ab 53276:cbed0aa0b0db
    18 {
    18 {
    19   /* editor modes */
    19   /* editor modes */
    20 
    20 
    21   val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
    21   val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
    22 
    22 
       
    23   private lazy val news_syntax = Outer_Syntax.init()
       
    24 
    23   def mode_syntax(name: String): Option[Outer_Syntax] =
    25   def mode_syntax(name: String): Option[Outer_Syntax] =
    24     name match {
    26     name match {
    25       case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
    27       case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
    26       case "isabelle-options" => Some(Options.options_syntax)
    28       case "isabelle-options" => Some(Options.options_syntax)
    27       case "isabelle-root" => Some(Build.root_syntax)
    29       case "isabelle-root" => Some(Build.root_syntax)
    28       case "isabelle-news" => Some(Outer_Syntax.empty)
    30       case "isabelle-news" => Some(news_syntax)
    29       case _ => None
    31       case _ => None
    30     }
    32     }
    31 
    33 
    32 
    34 
    33   /* dockable windows */
    35   /* dockable windows */