1 12 package org.eclipse.ui; 13 14 15 23 public interface IWorkbenchPreferenceConstants { 24 25 32 public static final String LINK_NAVIGATOR_TO_EDITOR = "LINK_NAVIGATOR_TO_EDITOR"; 34 47 public static final String OPEN_NEW_PERSPECTIVE = "OPEN_NEW_PERSPECTIVE"; 49 61 public static final String ALTERNATE_OPEN_NEW_PERSPECTIVE = "ALTERNATE_OPEN_NEW_PERSPECTIVE"; 63 75 public static final String SHIFT_OPEN_NEW_PERSPECTIVE = "SHIFT_OPEN_NEW_PERSPECTIVE"; 77 95 public static final String PROJECT_OPEN_NEW_PERSPECTIVE = "PROJECT_OPEN_NEW_PERSPECTIVE"; 97 103 public static final String OPEN_PERSPECTIVE_WINDOW = "OPEN_PERSPECTIVE_WINDOW"; 105 113 public static final String OPEN_PERSPECTIVE_PAGE = "OPEN_PERSPECTIVE_PAGE"; 115 121 public static final String OPEN_PERSPECTIVE_REPLACE = "OPEN_PERSPECTIVE_REPLACE"; 123 129 public static final String NO_NEW_PERSPECTIVE = "NO_NEW_PERSPECTIVE"; 131 134 public static final String DEFAULT_PERSPECTIVE_ID = "defaultPerspectiveId"; 136 142 public static final String PRESENTATION_FACTORY_ID = "presentationFactoryId"; 144 154 public static String DOCK_PERSPECTIVE_BAR = "DOCK_PERSPECTIVE_BAR"; 156 169 public static final String INITIAL_FAST_VIEW_BAR_LOCATION = "initialFastViewBarLocation"; 171 177 public static final String TOP_RIGHT = "topRight"; 179 185 public static final String TOP_LEFT = "topLeft"; 187 194 public static final String LEFT = "left"; 196 202 public static final String BOTTOM = "bottom"; 204 210 public static final String RIGHT = "right"; 212 223 public static final String SHOW_INTRO = "showIntro"; 225 237 public static String SHOW_TRADITIONAL_STYLE_TABS = "SHOW_TRADITIONAL_STYLE_TABS"; 239 251 public static String SHOW_TEXT_ON_PERSPECTIVE_BAR = "SHOW_TEXT_ON_PERSPECTIVE_BAR"; 253 263 public static String HELP_CONTENTS_ACTION_TEXT = "helpContentsActionText"; 265 275 public static String HELP_SEARCH_ACTION_TEXT = "helpSearchActionText"; 277 287 public static String DYNAMIC_HELP_ACTION_TEXT = "dynamicHelpActionText"; 289 297 public static final String ENABLE_ANIMATIONS = "ENABLE_ANIMATIONS"; 299 311 public static final String KEY_CONFIGURATION_ID = "KEY_CONFIGURATION_ID"; 313 326 public static final String EDITOR_MINIMUM_CHARACTERS = "EDITOR_MINIMUM_CHARACTERS"; 328 338 public static final String VIEW_MINIMUM_CHARACTERS = "VIEW_MINIMUM_CHARACTERS"; 340 345 public static final String SHOW_SYSTEM_JOBS = "SHOW_SYSTEM_JOBS"; 347 352 public static String CURRENT_THEME_ID = "CURRENT_THEME_ID"; 354 360 public static final String CLOSE_EDITORS_ON_EXIT = "CLOSE_EDITORS_ON_EXIT"; 362 368 public static final String SHOW_PROGRESS_ON_STARTUP = "SHOW_PROGRESS_ON_STARTUP"; 370 375 public static final String SHOW_MEMORY_MONITOR = "SHOW_MEMORY_MONITOR"; 377 384 public static final String USE_WINDOW_WORKING_SET_BY_DEFAULT = "USE_WINDOW_WORKING_SET_BY_DEFAULT"; 386 392 public static final String SHOW_FILTERED_TEXTS = "SHOW_FILTERED_TEXTS"; 394 399 public static final String ENABLE_DETACHED_VIEWS = "ENABLE_DETACHED_VIEWS"; 401 411 public static final String PROMPT_WHEN_SAVEABLE_STILL_OPEN = "PROMPT_WHEN_SAVEABLE_STILL_OPEN"; 413 420 public static final String PERSPECTIVE_BAR_EXTRAS = "PERSPECTIVE_BAR_EXTRAS"; 422 428 public static final String LOCK_TRIM = "LOCK_TRIM"; 430 439 public static final String ENABLE_NEW_MIN_MAX = "ENABLE_MIN_MAX"; 441 453 public static final String DISABLE_NEW_FAST_VIEW = "disableNewFastView"; 455 465 public static final String ENABLE_32_STICKY_CLOSE_BEHAVIOR = "ENABLE_32_STICKY_CLOSE_BEHAVIOR"; } 467 | Popular Tags |