src/Pure/PIDE/markup.scala
changeset 59367 6193bbbbe564
parent 59366 e94df7f6b608
child 59369 7090199d3f78
     1.1 --- a/src/Pure/PIDE/markup.scala	Wed Jan 14 16:27:19 2015 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Wed Jan 14 17:24:55 2015 +0100
     1.3 @@ -458,11 +458,12 @@
     1.4        }
     1.5    }
     1.6  
     1.7 +  val LOADING_THEORY = "loading_theory"
     1.8    object Loading_Theory
     1.9    {
    1.10      def unapply(props: Properties.T): Option[String] =
    1.11        props match {
    1.12 -        case List((FUNCTION, "loading_theory"), (NAME, name)) => Some(name)
    1.13 +        case List((FUNCTION, LOADING_THEORY), (NAME, name)) => Some(name)
    1.14          case _ => None
    1.15        }
    1.16    }