Andrey Loskutov
Andrey Loskutov
Thanks Raghu & Christoph.
* Not sure how much effort it would require on JDT side, is there a way to add the libraries to platform to see how much API is broken now?...
I believe this ticket can be closed. Whatever is pending should go to https://github.com/eclipse-jdt/eclipse.jdt/issues/147
> this is a bug showing up in the latest line of Linux kernels (6.12.x), on Gentoo, with the latest Eclipse Adoptium JDK and the latest release of the Eclipse...
Assuming the issues are real, I honestly don't care if it is a human or AI bot. It is good to know where we are with the quality, and maybe...
> Any thoughts or workarounds? I guess you have to dig into the **spotbugs** source to fix that.
@haideryaqoob720 : 1) there are two test failures caused by your patch: https://ci.eclipse.org/platform/job/eclipse.platform/job/PR-1743/6/testReport/ 2) A new test is needed to demonstrate the problem and the fix.
`Ctrl+Shift+R` (open resource) would go to the project if you type in the project name. I believe that shortcut is contributed by AnyEdit, but the "open resource" is default command...
> There seems to be either a missing or bugged piece of logic somewhere. The expectation would be the same a "Show In > Project Explorer" I guess ? Not...
> I think Ctrl+Shift+R can only list opened projects. Wrong. You can list **and** navigate to projects