diff options
| author | Darin Wright | 2009-10-06 21:13:55 +0000 |
|---|---|---|
| committer | Darin Wright | 2009-10-06 21:13:55 +0000 |
| commit | 3436a05268632f9768c6fc700f79da01d79ddf80 (patch) | |
| tree | eff32ea93c64407603b26edade7bc0cdfb74fa02 /org.eclipse.debug.core/plugin.xml | |
| parent | 26ae2d0774fb1fe503673691229f32eb3cde4ceb (diff) | |
| download | eclipse.platform.debug-3436a05268632f9768c6fc700f79da01d79ddf80.tar.gz eclipse.platform.debug-3436a05268632f9768c6fc700f79da01d79ddf80.tar.xz eclipse.platform.debug-3436a05268632f9768c6fc700f79da01d79ddf80.zip | |
Bug 291534 - Migrate resource refreshing support to headless plug-in
Diffstat (limited to 'org.eclipse.debug.core/plugin.xml')
| -rw-r--r-- | org.eclipse.debug.core/plugin.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/plugin.xml b/org.eclipse.debug.core/plugin.xml index 211a3ea25..2599d9a5e 100644 --- a/org.eclipse.debug.core/plugin.xml +++ b/org.eclipse.debug.core/plugin.xml @@ -222,6 +222,11 @@ class="org.eclipse.debug.internal.core.sourcelookup.SourceLocatorMementoComparator" id="org.eclipse.debug.core.sourceLocatorMementoComparator"> </launchConfigurationComparator> + <launchConfigurationComparator + attribute="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" + class="org.eclipse.debug.internal.core.RefreshScopeComparator" + id="org.eclipse.debug.core.comparator.refresh.scope"> + </launchConfigurationComparator> </extension> <extension point="org.eclipse.core.runtime.preferences"> |