org.eclipse.help.IHelp: mark for removal

eclipse-platform · Oct 27, 2023 · 50553ea · 50553ea
1 parent 3021b58
commit 50553ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/help/WorkbenchHelpSystem.java b/...org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/help/WorkbenchHelpSystem.java
@@ -552,7 +552,7 @@ private HelpListener getHelpListener() {
 	 *             {@link org.eclipse.help.HelpSystem HelpSystem}instead of the
 	 *             IHelp methods on the object returned by this method.
 	 */
-	@Deprecated
+	@Deprecated(forRemoval = true, since = "2023-12")
 	public IHelp getHelpSupport() {
 		AbstractHelpUI helpUI = getHelpUI();
 		if (helpUI != null && helpCompatibilityWrapper == null) {