diff options
| author | Michael Rennie | 2006-01-13 20:23:55 +0000 |
|---|---|---|
| committer | Michael Rennie | 2006-01-13 20:23:55 +0000 |
| commit | 1c07202958c77013ecade0a2090f06dd5125426c (patch) | |
| tree | bf2cb03c9f33affe956dbb06e9027fb0560124ff /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java | |
| parent | 95ec274fc9b20a8c942c79cdc4206f50cbf6f668 (diff) | |
| download | eclipse.platform.debug-1c07202958c77013ecade0a2090f06dd5125426c.tar.gz eclipse.platform.debug-1c07202958c77013ecade0a2090f06dd5125426c.tar.xz eclipse.platform.debug-1c07202958c77013ecade0a2090f06dd5125426c.zip | |
bug fix for113772
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java index fbf6ea295..d14e66cec 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/IInternalDebugUIConstants.java @@ -129,6 +129,13 @@ public interface IInternalDebugUIConstants { public static final String PREF_FILTER_LAUNCH_DELETED = IDebugUIConstants.PLUGIN_ID + ".PREF_FILTER_LAUNCH_DELETED"; //$NON-NLS-1$ /** + * Preference for prompting if launch configurations should be deleted when a project they are linked to is deleted + * @see LaunchManager#preDelete(IProject) + * @since 3.2 + */ + public static final String PREF_DELETE_CONFIGS_ON_PROJECT_DELETE =IDebugUIConstants.PLUGIN_ID +".PREF_DELETE_CONFIGS_ON_PROJECT_DELETE"; //$NON-NLS-1$ + + /** * Preference for enabling/disabling filtering based on selected items from the launch configuration type table * @since 3.2 */ |