1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
/*******************************************************************************
* Copyright (c) 2000, 2003 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.examples.javaeditor.util;
import java.util.*;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.widgets.Display;
/**
* Manager for colors used in the Java editor
*/
public class JavaColorProvider {
public static final RGB MULTI_LINE_COMMENT= new RGB(128, 0, 0);
public static final RGB SINGLE_LINE_COMMENT= new RGB(128, 128, 0);
public static final RGB KEYWORD= new RGB(0, 0, 128);
public static final RGB TYPE= new RGB(0, 0, 128);
public static final RGB STRING= new RGB(0, 128, 0);
public static final RGB DEFAULT= new RGB(0, 0, 0);
public static final RGB JAVADOC_KEYWORD= new RGB(0, 128, 0);
public static final RGB JAVADOC_TAG= new RGB(128, 128, 128);
public static final RGB JAVADOC_LINK= new RGB(128, 128, 128);
public static final RGB JAVADOC_DEFAULT= new RGB(0, 128, 128);
protected Map fColorTable= new HashMap(10);
/**
* Release all of the color resources held onto by the receiver.
*/
public void dispose() {
Iterator e= fColorTable.values().iterator();
while (e.hasNext())
((Color) e.next()).dispose();
}
/**
* Return the Color that is stored in the Color table as rgb.
*/
public Color getColor(RGB rgb) {
Color color= (Color) fColorTable.get(rgb);
if (color == null) {
color= new Color(Display.getCurrent(), rgb);
fColorTable.put(rgb, color);
}
return color;
}
}
|
