blob: 74af401cc9509d44cb7d8dc799a81c5cccb3d3d7 (
plain) (
blame)
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
|
package org.eclipse.debug.internal.ui;
/*
* Licensed Materials - Property of IBM,
* WebSphere Studio Workbench
* (c) Copyright IBM Corp 2001
*/
/**
* Constants defining the keys to be used for accessing preferences
* inside the debug ui plugin's preference bundle.
*
* In descriptions (of the keys) below describe the preference
* stored at the given key. The type indicates type of the stored preferences
*
* The preference store is loaded by the plugin (DebugUIPlugin).
* @See DebugUIPlugin.initializeDefaultPreferences() - for initialization of the store
*/
public interface IDebugPreferenceConstants {
/**
* RGB colors for displaying the content in the Console
*/
public static final String CONSOLE_SYS_ERR_RGB= "Console.stdErrColor";
public static final String CONSOLE_SYS_OUT_RGB= "Console.stdOutColor";
public static final String CONSOLE_SYS_IN_RGB= "Console.stdInColor";
/**
* The name of the font to use for the Console
**/
public static final String CONSOLE_FONT= "Console.font";
/**
* (boolean) Whether or not the console view is shown
* when there is program ouptut.
*/
public static final String CONSOLE_OPEN= "DEBUG.consoleOpen";
}
|
