Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/text_area_painter.scala
changeset 43451 be760a642d38
parent 43450 b6b09fc8d671
child 43505 0aca4edbfa99 
--- a/src/Tools/jEdit/src/text_area_painter.scala	Sat Jun 18 21:26:47 2011 +0200
+++ b/src/Tools/jEdit/src/text_area_painter.scala	Sat Jun 18 22:01:22 2011 +0200
@@ -219,7 +219,10 @@
 
         var x1 = x + w
         gfx.setFont(chunk_font)
-        if (markup.isEmpty) gfx.drawString(chunk.str, x1, y)
+        if (markup.isEmpty) {
+          gfx.setColor(chunk_color)
+          gfx.drawString(chunk.str, x1, y)
+        }
         else {
           for {
             Text.Info(range, info) <-
isabelle