changeset 50196 | 94886ebf090f |
parent 50195 | 863b1dfc396c |
child 50199 | 6d04e2422769 |
--- a/src/Tools/jEdit/src/token_markup.scala Sat Nov 24 19:01:08 2012 +0100 +++ b/src/Tools/jEdit/src/token_markup.scala Sat Nov 24 19:56:44 2012 +0100 @@ -122,7 +122,7 @@ private def bold_style(style: SyntaxStyle): SyntaxStyle = font_style(style, _.deriveFont(Font.BOLD)) - private def hidden_color: Color = new Color(255, 255, 255, 0) + val hidden_color: Color = new Color(255, 255, 255, 0) class Style_Extender extends SyntaxUtilities.StyleExtender {