JavaLineStyler.java 文件源码

void initializeColors() {
    Display display = Display.getDefault();
    colors = new Color[] { new Color(display, new RGB(0, 0, 0)), // black
            new Color(display, new RGB(128, 0, 0)), // red
            new Color(display, new RGB(0, 128, 0)), // green
            new Color(display, new RGB(0, 0, 128)) // blue
    };
    tokenColors = new int[MAXIMUM_TOKEN];
    tokenColors[OTHER] = 0;
    tokenColors[NUMBER] = 0;
    tokenColors[WORD] = 0;
    tokenColors[WHITE] = 0;
    tokenColors[COMMENT] = 1;
    tokenColors[STRING] = 2;
    tokenColors[KEY] = 3;
}