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 |