tuned comments;
authorwenzelm
Mon Dec 04 16:28:00 2017 +0100 (7 months ago)
changeset 67125361b3ef643a7
parent 67123 3fe40ff1b921
child 67126 143f0ba01415
tuned comments;
src/Tools/jEdit/src/syntax_style.scala
     1.1 --- a/src/Tools/jEdit/src/syntax_style.scala	Sun Dec 03 22:28:19 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/syntax_style.scala	Mon Dec 04 16:28:00 2017 +0100
     1.3 @@ -92,7 +92,6 @@
     1.4  
     1.5    def extended(text: CharSequence): Map[Text.Offset, Byte => Byte] =
     1.6    {
     1.7 -    // FIXME Symbol.bsub_decoded etc.
     1.8      def control_style(sym: String): Option[Byte => Byte] =
     1.9        if (sym == Symbol.sub_decoded) Some(subscript(_))
    1.10        else if (sym == Symbol.sup_decoded) Some(superscript(_))