src/Tools/jEdit/src/isabelle.scala
changeset 56393 22f533e6a049
parent 56278 2576d3a40ed6
child 56394 bbf4d512f395
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Thu Apr 03 20:17:12 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Thu Apr 03 20:53:35 2014 +0200
     1.3 @@ -46,8 +46,10 @@
     1.4    def mode_syntax(name: String): Option[Outer_Syntax] =
     1.5      name match {
     1.6        case "isabelle" | "isabelle-markup" =>
     1.7 -        val syntax = PIDE.session.recent_syntax
     1.8 -        if (syntax == Outer_Syntax.empty) None else Some(syntax)
     1.9 +        PIDE.session.recent_syntax match {
    1.10 +          case syntax : Outer_Syntax if syntax != Outer_Syntax.empty => Some(syntax)
    1.11 +          case _ => None
    1.12 +        }
    1.13        case "isabelle-options" => Some(Options.options_syntax)
    1.14        case "isabelle-root" => Some(Build.root_syntax)
    1.15        case "isabelle-ml" => Some(ml_syntax)