syntax for isabelle-news with symbol completion;
authorwenzelm
Thu, 29 Aug 2013 13:14:00 +0200
changeset 53276 cbed0aa0b0db
parent 53275 b34aac6511ab
child 53277 6aa348237973
syntax for isabelle-news with symbol completion;
src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 13:00:59 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 13:14:00 2013 +0200
@@ -20,12 +20,14 @@
 
   val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
 
+  private lazy val news_syntax = Outer_Syntax.init()
+
   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 "isabelle-news" => Some(news_syntax)
       case _ => None
     }