Updating tickets (#607, #608, #616, #613, #617, #618, #619)

We had this earlier, but I found that the warnings are easy to delete from the Problems view. I don't think a specific command is needed.

How do you delete them? It needs to be documented.

(Also, what if the project doesn't exist anymore? But this may be a different problem)

Warnings are removed when their resource is removed. Where should we document this? It's an eclipse feature, not an ErlIDE-specific thing. We should document the dialyzer stuff, but I'm not sure how documentation and help works right now.

I want to be able to clean them up without removing the resource.

Example use case: I have the same workspace for several clearcase views, the project are the same, the warnings are correct only for one of the versions.

I think it's a bad idea to add a specific command for something already available in Eclipse, but if you absolutely need it, please implement it.

Most (all?) static analysis tools for Java (PMD, FindBugs, etc) have a command to clear the warnings they generate.

If a tool is run manually and the messages aren't cleared, it can easily happen that they become old and invalid = confusing. Re-running the analysis may not be an alternative (if it takes a long time or I'm not interested in the values right now).

Updating tickets (#618)

Updating tickets (#613, #618, #651, #652, #653, #659)

Updating tickets (#702, #668, #224, #618, #651, #652, #653, #669, #670, #680, #683, #691, #692)