Community
Participate
Working Groups
https://git.eclipse.org/r/23900
Does this remove a bunch of warnings? PW
(In reply to Paul Webster from comment #2) > Does this remove a bunch of warnings? > > PW Depends on your JDT settings, a missing annotation can be set to warning or error.
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=7e26a4a0bc4b7b490bd7ed01366e5114230596ce
Looks like some @Override annotations are still missing.
Ah sorry, I was looking at org.eclipse.e4.ui.workbench. For org.eclipse.ui.workbench I changed the project setting to issue an error if an @Override or @Deprecated annotation is missing with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2464be8ef713df24388917c3c55faf939b2c2412
Project setting enabled -> No way this can happen again
I was looking at the commit in comment #4 and several method declarations have gotten an unexpected tab character. I am pretty sure the misalignment wasn't intended.
Just following up about the incorrect indentations this patch applied. Should it be fixed?
(In reply to Paul Benedict from comment #9) > Just following up about the incorrect indentations this patch applied. > Should it be fixed? 4 spaces got replaced by a tab and hence the alignment still looks OK if a monospace font is used. There are two reasons for this issues: 1. Many files in Platform UI used spaces to indent, but the project specific formatter settings now want tabs. 2. Bug 433067. I would not bother for now.