Skip to content

I20260312-1800

@marcushoepfner marcushoepfner tagged this 10 Mar 15:43
Fixes: https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/2856

JDT does the same in JavaEditor.uninstallJavaCodeMining().

Seems that this was completely missing for e.g. text editords.
Assets 2
Loading