Community
Participate
Working Groups
I would recommend to add a fifth tick box for Javadoc warnings to the filters dialog of the problems view because I think one might want to postpone documentation errors to some later day very often (though probably not recommended).
Philippe, can you please comment on this. This requires that JDT/Core reports the javadoc errors using a special marker type.
I opened a new JDT Core butg for the marker support: bug 49675 (see dependency)
Bug 49675 makes this one obsolete since having the new marker type will allow filtering them in the problems view. *** This bug has been marked as a duplicate of 49675 ***