-
Notifications
You must be signed in to change notification settings - Fork 182
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
API errors on org.eclipse.ui.editors and org.eclipse.ui.workbench.texteditor #2430
Comments
Maybe api tools are not "enabled" in/for some bundle? |
Regression from commit 9bd3284 / eclipse-platform#2400 Also updated version range on bundle with increased version. Fixes eclipse-platform#2430
But for both bundles? |
See #2431. Once merged, I will trigger I build, also for eclipse-jdt/eclipse.jdt.core#3125. |
I was more thinking about .settings/.project configs. But now that I looked more into it - these are split packages so my gut feeling is that API tools fails thanks to that. |
Check if API tools are working in platform UI. This PR should fail validation because it adds new API with wrong since tag. See eclipse-platform#2430 See eclipse-platform#1922
Check if API tools are working in platform UI. This PR should fail validation because it adds new API with wrong since tag. See eclipse-platform#2430 See eclipse-platform#1922
Regression from commit 9bd3284 / #2400
AbstractDecoratedTextEditorPreferenceConstants
API (org.eclipse.ui.editors
)SourceViewerDecorationSupport
(org.eclipse.ui.workbench.texteditor
)In both cases minor segment version should have been updated. Interestingly, no checks failed...
I will push updated manifests.
The text was updated successfully, but these errors were encountered: