src/Tools/jEdit/src/isabelle.scala
changeset 53276 cbed0aa0b0db
parent 53274 1760c01f1c78
child 53277 6aa348237973
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 13:00:59 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 13:14:00 2013 +0200
     1.3 @@ -20,12 +20,14 @@
     1.4  
     1.5    val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
     1.6  
     1.7 +  private lazy val news_syntax = Outer_Syntax.init()
     1.8 +
     1.9    def mode_syntax(name: String): Option[Outer_Syntax] =
    1.10      name match {
    1.11        case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
    1.12        case "isabelle-options" => Some(Options.options_syntax)
    1.13        case "isabelle-root" => Some(Build.root_syntax)
    1.14 -      case "isabelle-news" => Some(Outer_Syntax.empty)
    1.15 +      case "isabelle-news" => Some(news_syntax)
    1.16        case _ => None
    1.17      }
    1.18