--- a/src/Tools/jEdit/src/isabelle.scala Thu Aug 29 15:48:37 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala Thu Aug 29 15:53:56 2013 +0200
@@ -21,17 +21,17 @@
val modes =
List(
"isabelle", // theory source
+ "isabelle-markup", // SideKick markup tree
"isabelle-news", // NEWS
"isabelle-options", // etc/options
"isabelle-output", // pretty text area output
- "isabelle-raw", // SideKick content tree
"isabelle-root") // session ROOT
private lazy val news_syntax = Outer_Syntax.init().no_tokens
def mode_syntax(name: String): Option[Outer_Syntax] =
name match {
- case "isabelle" | "isabelle-raw" =>
+ case "isabelle" | "isabelle-markup" =>
val syntax = PIDE.session.recent_syntax
if (syntax == Outer_Syntax.empty) None else Some(syntax)
case "isabelle-options" => Some(Options.options_syntax)