From 3741ae6dc0b8ff2a4d8a87681a3a68a95e1ac45f Mon Sep 17 00:00:00 2001 From: Dmitry Cheryasov Date: Wed, 4 May 2011 20:35:33 +0400 Subject: [PATCH] Updated default Python colors to distinguish Unicode. --- .../src/com/jetbrains/python/highlighting/PyHighlighter.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/python/src/com/jetbrains/python/highlighting/PyHighlighter.java b/python/src/com/jetbrains/python/highlighting/PyHighlighter.java index a840e5806fa0..1d7505bcc3bf 100644 --- a/python/src/com/jetbrains/python/highlighting/PyHighlighter.java +++ b/python/src/com/jetbrains/python/highlighting/PyHighlighter.java @@ -44,7 +44,9 @@ public class PyHighlighter extends SyntaxHighlighterBase { static final TextAttributesKey PY_KEYWORD = _copy("PY.KEYWORD", KEYWORD); public static final TextAttributesKey PY_BYTE_STRING = _copy("PY.STRING.B", STRING); - public static final TextAttributesKey PY_UNICODE_STRING = _copy("PY.STRING.U", STRING); + public static final TextAttributesKey PY_UNICODE_STRING = TextAttributesKey.createTextAttributesKey( + "PY.STRING.U", new TextAttributes(new Color(0, 128, 128), null, null, null, STRING.getDefaultAttributes().getFontType()) + ); public static final TextAttributesKey PY_NUMBER = _copy("PY.NUMBER", NUMBER); static final TextAttributesKey PY_LINE_COMMENT = _copy("PY.LINE_COMMENT", LINE_COMMENT);