1 11 package org.eclipse.jdt.debug.ui; 12 13 14 import org.eclipse.jdt.internal.debug.ui.JDIDebugUIPlugin; 15 16 23 public interface IJavaDebugUIConstants { 24 27 public static final String PLUGIN_ID = JDIDebugUIPlugin.getUniqueIdentifier(); 28 29 32 public static final String EXTENSION_POINT_VM_INSTALL_TYPE_PAGE = "vmInstallTypePage"; 34 37 public static final String ID_DISPLAY_VIEW= PLUGIN_ID + ".DisplayView"; 39 42 public static final String ID_JAVA_SNIPPET_EDITOR= PLUGIN_ID + ".SnippetEditor"; 44 47 public static final String JAVA_SNIPPET_EDITOR_CONTEXT_MENU= "#JavaSnippetEditorContext"; 49 52 public static final String JAVA_SNIPPET_EDITOR_RULER_MENU= "#JavaSnippetRulerContext"; 54 57 public static final String EVALUATION_GROUP= "evaluationGroup"; 59 62 public static final int INTERNAL_ERROR = 150; 63 64 70 public static final String PREF_SHOW_MONITOR_THREAD_INFO = PLUGIN_ID + ".show_monitor_thread_info"; 72 77 public static final String PREF_SHOW_SYSTEM_THREADS = PLUGIN_ID + ".show_system_threads"; 79 84 public static final String PREF_SHOW_THREAD_GROUPS = PLUGIN_ID + ".show_thread_group_info"; 86 91 public static final String PREF_ALLINSTANCES_MAX_COUNT = PLUGIN_ID + ".all_instances_max_count"; 93 98 public static final String PREF_ALLREFERENCES_MAX_COUNT = PLUGIN_ID + ".all_references_max_count"; 100 } 101 | Popular Tags |