diff options
| author | Darin Wright | 2006-02-09 14:30:01 +0000 |
|---|---|---|
| committer | Darin Wright | 2006-02-09 14:30:01 +0000 |
| commit | da1095db161e3cb27149bc147d787f0fcdb40f85 (patch) | |
| tree | 8afcabfc45434fcd4b9275d3e629cce998cee50c /org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java | |
| parent | 8c1b6d905f2d54af32cf7e40a76e2e46c3067b79 (diff) | |
| download | eclipse.platform.debug-da1095db161e3cb27149bc147d787f0fcdb40f85.tar.gz eclipse.platform.debug-da1095db161e3cb27149bc147d787f0fcdb40f85.tar.xz eclipse.platform.debug-da1095db161e3cb27149bc147d787f0fcdb40f85.zip | |
Bug 127067 - Instruction pointer images should be API
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java index 65abc7038..5abdf52d6 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/IDebugUIConstants.java @@ -13,7 +13,6 @@ package org.eclipse.debug.ui; import org.eclipse.debug.internal.ui.DebugUIPlugin; -import org.eclipse.debug.internal.ui.IInternalDebugUIConstants; /** * Constant definitions for debug UI plug-in. @@ -1123,4 +1122,19 @@ public interface IDebugUIConstants { * @see DebugUITools */ public static final String PREF_CHANGED_DEBUG_ELEMENT_COLOR= "org.eclipse.debug.ui.changedDebugElement"; //$NON-NLS-1$ + + /** + * Instruction pointer image for editor ruler for the currently executing + * instruction in the top stack frame. + * + * @since 3.2 + */ + public static final String IMG_OBJS_INSTRUCTION_POINTER_TOP = "IMG_OBJS_INSTRUCTION_POINTER_TOP"; //$NON-NLS-1$ + + /** + * Instruction pointer image for editor ruler for secondary (non-top) stack frames. + * + * @since 3.2 + */ + public static final String IMG_OBJS_INSTRUCTION_POINTER = "IMG_OBJS_INSTRUCTION_POINTER"; //$NON-NLS-1$ } |