Your browser does not support JavaScript and this site utilizes JavaScript to build content and provide links to additional information. You should either enable JavaScript in your browser settings or use a browser that supports JavaScript in order to take full advantage of this site.
1 11 12 package org.eclipse.ui.console; 13 14 19 public interface IConsoleConstants { 20 21 24 public static final String PLUGIN_ID = ConsolePlugin.getUniqueIdentifier(); 25 26 29 public static final String ID_CONSOLE_VIEW= "org.eclipse.ui.console.ConsoleView"; 31 35 public static final String MESSAGE_CONSOLE_TYPE = "org.eclipse.ui.MessageConsole"; 37 44 public static final String CONSOLE_FONT= "org.eclipse.ui.console.ConsoleFont"; 46 50 public static final String LAUNCH_GROUP = "launchGroup"; 52 56 public static final String OUTPUT_GROUP = "outputGroup"; 58 61 public static final String IMG_VIEW_CONSOLE= "IMG_VIEW_CONSOLE"; 63 66 public static final String IMG_LCL_CLEAR= "IMG_LCL_CLEAR"; 68 71 public static final int INTERNAL_ERROR = 120; 72 73 79 public static final String EXTENSION_POINT_CONSOLE_PATTERN_MATCH_LISTENERS = "consolePatternMatchListeners"; 81 87 public static final String EXTENSION_POINT_CONSOLE_PAGE_PARTICIPANTS = "consolePageParticipants"; 89 95 public static final String EXTENSION_POINT_CONSOLE_FACTORIES = "consoleFactories"; 97 102 public static final String P_FONT = ConsolePlugin.getUniqueIdentifier() + ".P_FONT"; 104 109 public static final String P_FONT_STYLE = ConsolePlugin.getUniqueIdentifier() + ".P_FONT_STYLE"; 111 116 public static final String P_STREAM_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_STREAM_COLOR"; 118 123 public static final String P_TAB_SIZE = ConsolePlugin.getUniqueIdentifier() + ".P_TAB_SIZE"; 125 130 public static final String P_CONSOLE_WIDTH = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_WIDTH"; 132 138 public static final String P_CONSOLE_OUTPUT_COMPLETE = ConsolePlugin.getUniqueIdentifier() + ".P_CONSOLE_STREAMS_CLOSED"; 140 145 public static final String P_BACKGROUND_COLOR = ConsolePlugin.getUniqueIdentifier() + ".P_BACKGROUND_COLOR"; 147 152 public static final int DEFAULT_TAB_SIZE = 8; 153 154 } 155
| Popular Tags
|