Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Mon, 04 Dec 2017 16:28:00 +0100
changeset 67125 361b3ef643a7
parent 67123 3fe40ff1b921
child 67126 143f0ba01415
tuned comments;
src/Tools/jEdit/src/syntax_style.scala file | annotate | diff | comparison | revisions 
--- 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(_))
isabelle