src/Tools/jEdit/src/isabelle.scala
changeset 53280 c63a016805b9
parent 53277 6aa348237973
child 53281 251e1a2aa792
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 15:29:24 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 15:48:37 2013 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4        "isabelle-raw",     // SideKick content tree
     1.5        "isabelle-root")    // session ROOT
     1.6  
     1.7 -  private lazy val news_syntax = Outer_Syntax.init()
     1.8 +  private lazy val news_syntax = Outer_Syntax.init().no_tokens
     1.9  
    1.10    def mode_syntax(name: String): Option[Outer_Syntax] =
    1.11      name match {
    1.12 @@ -44,11 +44,8 @@
    1.13  
    1.14    /* token markers */
    1.15  
    1.16 -  private val marker_modes =
    1.17 -    List("isabelle", "isabelle-options", "isabelle-output", "isabelle-root")
    1.18 -
    1.19    private val markers =
    1.20 -    Map(marker_modes.map(name => (name, new Token_Markup.Marker(name))): _*)
    1.21 +    Map(modes.map(name => (name, new Token_Markup.Marker(name))): _*)
    1.22  
    1.23    def token_marker(name: String): Option[Token_Markup.Marker] = markers.get(name)
    1.24