MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Updated default Python colors to distinguish Unicode.

Browse Source
This commit is contained in:
Dmitry Cheryasov
2011-05-04 20:35:33 +04:00
parent de38cb7cf0
commit 3741ae6dc0
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/highlighting/PyHighlighter.java
+3 -1
View File
@@ -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);