src/Tools/jEdit/src/syntax_style.scala

--- a/src/Tools/jEdit/src/syntax_style.scala	Sun Dec 03 22:28:19 2017 +0100
+++ b/src/Tools/jEdit/src/syntax_style.scala	Mon Dec 04 16:28:00 2017 +0100
@@ -92,7 +92,6 @@
 
   def extended(text: CharSequence): Map[Text.Offset, Byte => Byte] =
   {
-    // FIXME Symbol.bsub_decoded etc.
     def control_style(sym: String): Option[Byte => Byte] =
       if (sym == Symbol.sub_decoded) Some(subscript(_))
       else if (sym == Symbol.sup_decoded) Some(superscript(_))