org.eclipse.ui.console.IConsoleConstants Maven / Gradle / Ivy
The newest version!
/*******************************************************************************
* Copyright (c) 2000, 2020 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* 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 "org.eclipse.ui.console").
*/
String PLUGIN_ID = ConsolePlugin.getUniqueIdentifier();
/**
* Console view identifier (value "org.eclipse.ui.console.ConsoleView").
*/
String ID_CONSOLE_VIEW= "org.eclipse.ui.console.ConsoleView"; //$NON-NLS-1$
/**
* Type identifier for MessageConsole
* @since 3.1
*/
String MESSAGE_CONSOLE_TYPE = "org.eclipse.ui.MessageConsole"; //$NON-NLS-1$
/**
* The name of the font to use for the Console (value "org.eclipse.ui.console.ConsoleFont").
*
* @deprecated When a console is created, its font is set to the default text font as specified
* by JFaceResources.TEXT_FONT. Clients must provide their own infrastructure to
* manage console specific fonts.
*/
@Deprecated 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 "launchGroup").
*/
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"outputGroup").
*/
String OUTPUT_GROUP = "outputGroup"; //$NON-NLS-1$
/**
* Console view image identifier.
*/
String IMG_VIEW_CONSOLE= "IMG_VIEW_CONSOLE"; //$NON-NLS-1$
/**
* Clear action image identifier.
*/
String IMG_LCL_CLEAR= "IMG_LCL_CLEAR"; //$NON-NLS-1$
/**
* Status code indicating an unexpected internal error.
*/
int INTERNAL_ERROR = 120;
/**
* Console pattern match listeners extension point identifier
* (value "consolePatternMatchListeners").
*
* @since 3.1
*/
String EXTENSION_POINT_CONSOLE_PATTERN_MATCH_LISTENERS = "consolePatternMatchListeners"; //$NON-NLS-1$
/**
* Console page participants extension point identifier
* (value "consolePageParticipants").
*
* @since 3.1
*/
String EXTENSION_POINT_CONSOLE_PAGE_PARTICIPANTS = "consolePageParticipants"; //$NON-NLS-1$
/**
* Console factories extension point identifier
* (value "consoleFactories").
*
* @since 3.1
*/
String EXTENSION_POINT_CONSOLE_FACTORIES = "consoleFactories"; //$NON-NLS-1$
/**
* Property constant indicating a console's font has changed.
*
* @since 3.1
*/
String P_FONT = ConsolePlugin.getUniqueIdentifier() + ".P_FONT"; //$NON-NLS-1$
/**
* Property constant indicating that a font style has changed
*
* @since 3.1
*/
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
*/
String P_STREAM_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_STREAM_COLOR"; //$NON-NLS-1$
/**
* Property constant indicating tab size has changed
*
* @since 3.1
*/
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
*/
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
*/
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
*/
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
*/
String P_BACKGROUND_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_BACKGROUND_COLOR"; //$NON-NLS-1$
/**
* Property constant indicating the user preference for word wrap enabling.
*
* @since 3.10
*/
String P_CONSOLE_WORD_WRAP = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_WORD_WRAP"; //$NON-NLS-1$
/**
* The default tab size for text consoles.
*
* @since 3.1
*/
int DEFAULT_TAB_SIZE = 8;
/**
* Command ID of the 'clear' command.
*
* Note: The command ID intentionally starts with
* org.eclipse.debug.ui, because it was moved from that plugin and
* kept stable to not break existing bindings.
*
* @since 3.13
*/
String COMMAND_ID_CLEAR_CONSOLE = "org.eclipse.debug.ui.commands.console.clear"; //$NON-NLS-1$
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy