43390
|
1 |
diff -r jEdit/org/gjt/sp/jedit/syntax/Token.java jEdit-patched/org/gjt/sp/jedit/syntax/Token.java
|
|
2 |
60c60
|
|
3 |
< return (token == Token.END) ? "END" : TOKEN_TYPES[token];
|
|
4 |
---
|
|
5 |
> return (token == Token.END) ? "END" : TOKEN_TYPES[(token >= ID_COUNT) ? 0 : token];
|
|
6 |
diff -r jEdit/org/gjt/sp/util/SyntaxUtilities.java jEdit-patched/org/gjt/sp/util/SyntaxUtilities.java
|
|
7 |
196a197,207
|
|
8 |
> * Style with sub/superscript font attribute.
|
|
9 |
> */
|
|
10 |
> public static SyntaxStyle scriptStyle(String family, int size, int script)
|
|
11 |
> {
|
|
12 |
> Font font = new Font(family, 0, size);
|
|
13 |
> java.util.Map attributes = new java.util.HashMap();
|
|
14 |
> attributes.put(java.awt.font.TextAttribute.SUPERSCRIPT, new Integer(script));
|
|
15 |
> return new SyntaxStyle(Color.black, null, font.deriveFont(attributes));
|
|
16 |
> }
|
|
17 |
>
|
|
18 |
> /**
|
|
19 |
206c217
|
|
20 |
< SyntaxStyle[] styles = new SyntaxStyle[Token.ID_COUNT];
|
|
21 |
---
|
|
22 |
> SyntaxStyle[] styles = new SyntaxStyle[Token.ID_COUNT + 2];
|
|
23 |
209c220
|
|
24 |
< for(int i = 1; i < styles.length; i++)
|
|
25 |
---
|
|
26 |
> for(int i = 1; i < Token.ID_COUNT; i++)
|
|
27 |
225a237,239
|
|
28 |
> styles[Token.ID_COUNT] = scriptStyle(family, size, -1);
|
|
29 |
> styles[Token.ID_COUNT + 1] = scriptStyle(family, size, 1);
|
|
30 |
>
|