src/Pure/PIDE/command.scala
changeset 70068 b9985133805d
parent 69647 70f1994988d4
child 70072 def3ec9cdb7e
     1.1 --- a/src/Pure/PIDE/command.scala	Sat Mar 09 23:57:07 2019 +0100
     1.2 +++ b/src/Pure/PIDE/command.scala	Sun Mar 10 00:21:34 2019 +0100
     1.3 @@ -475,6 +475,7 @@
     1.4        toks match {
     1.5          case (t1, i1) :: (t2, i2) :: rest =>
     1.6            if (t1.is_keyword && t1.source == "%" && t2.is_name) clean(rest)
     1.7 +          else if (t1.is_keyword && Symbol.is_marker(t1.source) && t2.is_embedded) clean(rest)
     1.8            else (t1, i1) :: clean((t2, i2) :: rest)
     1.9          case _ => toks
    1.10        }