diff options
author | Dani Megert | 2017-08-07 08:42:17 +0000 |
---|---|---|
committer | Dani Megert | 2017-08-07 08:42:17 +0000 |
commit | d286037ae156af46d8b8c1a38c6170d39397203c (patch) | |
tree | 749c77cbd20d69a9e06a32b33b0f596312138c74 | |
parent | 54dd3a3b4fa95fb557598f284a1c838c39089f40 (diff) | |
download | eclipse.platform.ui-d286037ae156af46d8b8c1a38c6170d39397203c.tar.gz eclipse.platform.ui-d286037ae156af46d8b8c1a38c6170d39397203c.tar.xz eclipse.platform.ui-d286037ae156af46d8b8c1a38c6170d39397203c.zip |
Added API Tools problem filter for backported APIM20170809-0400
-rw-r--r-- | bundles/org.eclipse.ui.ide/.settings/.api_filters | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/bundles/org.eclipse.ui.ide/.settings/.api_filters b/bundles/org.eclipse.ui.ide/.settings/.api_filters index 0cff1830c58..f48f981534d 100644 --- a/bundles/org.eclipse.ui.ide/.settings/.api_filters +++ b/bundles/org.eclipse.ui.ide/.settings/.api_filters @@ -1,5 +1,22 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <component id="org.eclipse.ui.ide" version="2"> + <resource path="META-INF/MANIFEST.MF"> + <filter comment="API got backported from 4.8" id="924844039"> + <message_arguments> + <message_argument value="3.13.1"/> + <message_argument value="3.13.0"/> + </message_arguments> + </filter> + </resource> + <resource path="extensions/org/eclipse/ui/IMarkerResolutionRelevance.java" type="org.eclipse.ui.IMarkerResolutionRelevance"> + <filter comment="This API got backported from 4.8" id="1108344834"> + <message_arguments> + <message_argument value="3.14"/> + <message_argument value="3.13"/> + <message_argument value="org.eclipse.ui.IMarkerResolutionRelevance"/> + </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> |