# HG changeset patch
# User wenzelm
# Date 1512401280 -3600
# Node ID 361b3ef643a786ed3f93d48856a4c16208196229
# Parent  3fe40ff1b921be65de4993ba4362ff7153dcaecc
tuned comments;

diff -r 3fe40ff1b921 -r 361b3ef643a7 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(_))