src/Tools/jEdit/src/isabelle.scala
changeset 53281 251e1a2aa792
parent 53280 c63a016805b9
child 53293 fd27b8f5a479
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 15:48:37 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Aug 29 15:53:56 2013 +0200
     1.3 @@ -21,17 +21,17 @@
     1.4    val modes =
     1.5      List(
     1.6        "isabelle",         // theory source
     1.7 +      "isabelle-markup",  // SideKick markup tree
     1.8        "isabelle-news",    // NEWS
     1.9        "isabelle-options", // etc/options
    1.10        "isabelle-output",  // pretty text area output
    1.11 -      "isabelle-raw",     // SideKick content tree
    1.12        "isabelle-root")    // session ROOT
    1.13  
    1.14    private lazy val news_syntax = Outer_Syntax.init().no_tokens
    1.15  
    1.16    def mode_syntax(name: String): Option[Outer_Syntax] =
    1.17      name match {
    1.18 -      case "isabelle" | "isabelle-raw" =>
    1.19 +      case "isabelle" | "isabelle-markup" =>
    1.20          val syntax = PIDE.session.recent_syntax
    1.21          if (syntax == Outer_Syntax.empty) None else Some(syntax)
    1.22        case "isabelle-options" => Some(Options.options_syntax)