From 972c6d05a40933e720b415d8c86a3e64d8336de6 Mon Sep 17 00:00:00 2001 From: Andrey Loskutov Date: Tue, 22 Oct 2024 09:34:29 +0200 Subject: [PATCH] DO NOT MERGE Check if API tools are working in platform UI. This PR should fail validation because it adds new API with wrong since tag. See https://github.com/eclipse-platform/eclipse.platform.ui/issues/2430 See https://github.com/eclipse-platform/eclipse.platform.ui/pull/1922 --- .../Eclipse UI/org/eclipse/ui/AbstractSourceProvider.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/AbstractSourceProvider.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/AbstractSourceProvider.java index 3145d1fa7d2..fa8dcd0b61c 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/AbstractSourceProvider.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/AbstractSourceProvider.java @@ -120,4 +120,10 @@ public final void removeSourceProviderListener(final ISourceProviderListener lis */ public void initialize(final IServiceLocator locator) { } + + /** + * @since 3.132 + */ + public void dummy() { + } }