blob: 15fe1d73c0a937498e46cfe83a17adf801832a40 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<component id="org.eclipse.ui.ide" version="2">
<resource path="META-INF/MANIFEST.MF" type="org.eclipse.ui.views.tasklist.TaskList">
<filter comment="Planned removal of TaskList, for details see bug 436506" id="305324134">
<message_arguments>
<message_argument value="org.eclipse.ui.views.tasklist.TaskList"/>
<message_argument value="org.eclipse.ui.ide_3.14.0"/>
</message_arguments>
</filter>
</resource>
<resource path="extensions/org/eclipse/ui/dialogs/WizardResourceImportPage.java" type="org.eclipse.ui.dialogs.WizardResourceImportPage">
<filter comment="The type IElementFilter was moved to API" id="338792546">
<message_arguments>
<message_argument value="org.eclipse.ui.dialogs.WizardResourceImportPage"/>
<message_argument value="getSelectedResources(IElementFilter, IProgressMonitor)"/>
</message_arguments>
</filter>
<filter comment="The doc has always said this is not API" id="338940029">
<message_arguments>
<message_argument value="org.eclipse.ui.dialogs.WizardResourceImportPage"/>
<message_argument value="selectionGroup"/>
</message_arguments>
</filter>
</resource>
<resource path="src/org/eclipse/ui/ide/IDE.java" type="org.eclipse.ui.ide.IDE$Preferences">
<filter comment="Bug 413943 - [Workbench] Make &quot;instance/org.eclipse.ui.ide/WORKSPACE_NAME&quot; a public preference" id="403853384">
<message_arguments>
<message_argument value="org.eclipse.ui.ide.IDE.Preferences"/>
</message_arguments>
</filter>
</resource>
</component>