KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > pde > internal > ui > editor > text > IPDEColorConstants


1 /*******************************************************************************
2  * Copyright (c) 2000, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.pde.internal.ui.editor.text;
12
13 import org.eclipse.swt.graphics.RGB;
14
15 public interface IPDEColorConstants {
16     RGB XML_COMMENT = new RGB(128, 0, 0);
17     RGB PROC_INSTR = new RGB(128, 128, 128);
18     RGB STRING = new RGB( 0, 128, 0);
19     RGB DEFAULT = new RGB( 0, 0, 0);
20     RGB TAG = new RGB( 0, 0, 128);
21     
22     RGB HEADER_KEY = new RGB(128, 0, 0);
23     RGB HEADER_VALUE = new RGB( 0, 0, 0);
24     RGB HEADER_ASSIGNMENT = new RGB( 0, 0, 0);
25     RGB HEADER_OSGI = new RGB(128, 0, 0);
26     RGB HEADER_ATTRIBUTES = new RGB(128, 128, 0);
27     
28     String JavaDoc P_BOLD_SUFFIX = "_bold"; //$NON-NLS-1$
29 String JavaDoc P_ITALIC_SUFFIX = "_italic"; //$NON-NLS-1$
30
31     String JavaDoc P_XML_COMMENT = "editor.color.xml_comment"; //$NON-NLS-1$
32 String JavaDoc P_PROC_INSTR = "editor.color.instr"; //$NON-NLS-1$
33 String JavaDoc P_STRING = "editor.color.string"; //$NON-NLS-1$
34 String JavaDoc P_DEFAULT = "editor.color.default"; //$NON-NLS-1$
35 String JavaDoc P_TAG = "editor.color.tag"; //$NON-NLS-1$
36
37     String JavaDoc P_HEADER_KEY = "editor.color.header_key"; //$NON-NLS-1$
38 String JavaDoc P_HEADER_VALUE = "editor.color.header_value"; //$NON-NLS-1$
39 String JavaDoc P_HEADER_ASSIGNMENT = "editor.color.header_assignment"; //$NON-NLS-1$
40 String JavaDoc P_HEADER_OSGI = "editor.color.header_osgi"; //$NON-NLS-1$
41 String JavaDoc P_HEADER_ATTRIBUTES = "editor.color.header_attributes"; //$NON-NLS-1$
42 }
43
Popular Tags