blob: 7df3fa27a651c298f90d4d1dddc24c93cdea0014 (
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
/*******************************************************************************
* Copyright (c) 2000, 2013 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.console;
/**
* Constants relating to the console plug-in.
*
* @since 3.0
* @noimplement This interface is not intended to be implemented by clients.
* @noextend This interface is not intended to be extended by clients.
*/
public interface IConsoleConstants {
/**
* Console plug-in identifier (value <code>"org.eclipse.ui.console"</code>).
*/
public static final String PLUGIN_ID = ConsolePlugin.getUniqueIdentifier();
/**
* Console view identifier (value <code>"org.eclipse.ui.console.ConsoleView"</code>).
*/
public static final String ID_CONSOLE_VIEW= "org.eclipse.ui.console.ConsoleView"; //$NON-NLS-1$
/**
* Type identifier for MessageConsole
* @since 3.1
*/
public static final String MESSAGE_CONSOLE_TYPE = "org.eclipse.ui.MessageConsole"; //$NON-NLS-1$
/**
* The name of the font to use for the Console (value <code>"org.eclipse.ui.console.ConsoleFont"</code>).
*
* @deprecated When a console is created, its font is set to the default text font as specified
* by <code>JFaceResources.TEXT_FONT</code>. Clients must provide their own infrastructure to
* manage console specific fonts.
*/
@Deprecated
public static final String CONSOLE_FONT= "org.eclipse.ui.console.ConsoleFont"; //$NON-NLS-1$
/**
* Menu group identifier for the console view context menu and toolbar, for actions pertaining to
* launching (value <code>"launchGroup"</code>).
*/
public static final String LAUNCH_GROUP = "launchGroup"; //$NON-NLS-1$
/**
* Menu group identifier for the console view context menu and toolbar, for actions pertaining to
* console output. (value<code>"outputGroup"</code>).
*/
public static final String OUTPUT_GROUP = "outputGroup"; //$NON-NLS-1$
/**
* Console view image identifier.
*/
public static final String IMG_VIEW_CONSOLE= "IMG_VIEW_CONSOLE"; //$NON-NLS-1$
/**
* Clear action image identifier.
*/
public static final String IMG_LCL_CLEAR= "IMG_LCL_CLEAR"; //$NON-NLS-1$
/**
* Status code indicating an unexpected internal error.
*/
public static final int INTERNAL_ERROR = 120;
/**
* Console pattern match listeners extension point identifier
* (value <code>"consolePatternMatchListeners"</code>).
*
* @since 3.1
*/
public static final String EXTENSION_POINT_CONSOLE_PATTERN_MATCH_LISTENERS = "consolePatternMatchListeners"; //$NON-NLS-1$
/**
* Console page participants extension point identifier
* (value <code>"consolePageParticipants"</code>).
*
* @since 3.1
*/
public static final String EXTENSION_POINT_CONSOLE_PAGE_PARTICIPANTS = "consolePageParticipants"; //$NON-NLS-1$
/**
* Console factories extension point identifier
* (value <code>"consoleFactories"</code>).
*
* @since 3.1
*/
public static final String EXTENSION_POINT_CONSOLE_FACTORIES = "consoleFactories"; //$NON-NLS-1$
/**
* Property constant indicating a console's font has changed.
*
* @since 3.1
*/
public static final String P_FONT = ConsolePlugin.getUniqueIdentifier() + ".P_FONT"; //$NON-NLS-1$
/**
* Property constant indicating that a font style has changed
*
* @since 3.1
*/
public static final String P_FONT_STYLE = ConsolePlugin.getUniqueIdentifier() + ".P_FONT_STYLE"; //$NON-NLS-1$
/**
* Property constant indicating the color of a stream has changed.
*
* @since 3.1
*/
public static final String P_STREAM_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_STREAM_COLOR"; //$NON-NLS-1$
/**
* Property constant indicating tab size has changed
*
* @since 3.1
*/
public static final String P_TAB_SIZE = ConsolePlugin.getUniqueIdentifier() + ".P_TAB_SIZE"; //$NON-NLS-1$
/**
* Property constant indicating the user preference for auto scroll lock enabling.
*
* @since 3.8
*/
public static final String P_CONSOLE_AUTO_SCROLL_LOCK = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_AUTO_SCROLL_LOCK"; //$NON-NLS-1$
/**
* Property constant indicating the width of a fixed width console has changed.
*
* @since 3.1
*/
public static final String P_CONSOLE_WIDTH = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_WIDTH"; //$NON-NLS-1$
/**
* Property constant indicating that all streams connected to this console have been closed
* and that all queued output has been processed.
*
* @since 3.1
*/
public static final String P_CONSOLE_OUTPUT_COMPLETE = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_STREAMS_CLOSED"; //$NON-NLS-1$
/**
* Property constant indicating the background color of a console has changed.
*
* @since 3.3
*/
public static final String P_BACKGROUND_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_BACKGROUND_COLOR"; //$NON-NLS-1$
/**
* The default tab size for text consoles.
*
* @since 3.1
*/
public static final int DEFAULT_TAB_SIZE = 8;
}
|
