| Summary: | Preference option for Codan annotation markers | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Tools] CDT | Reporter: | Axel Mueller <aegges> | ||||
| Component: | cdt-codan | Assignee: | Axel Mueller <aegges> | ||||
| Status: | RESOLVED FIXED | QA Contact: | Elena Laskavaia <elaskavaia.cdt> | ||||
| Severity: | enhancement | ||||||
| Priority: | P3 | CC: | cdtdoug, eclipse.sprigogin, malaperle, yevshif | ||||
| Version: | 8.0 | ||||||
| Target Milestone: | 8.2 | ||||||
| Hardware: | PC | ||||||
| OS: | All | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Axel Mueller
Created attachment 230364 [details]
preferences for CODAN annotations
I added preferences for CODAN error and warning markers. The default prefs are identical to the current ones. But now the user can
- disable overview and vertical ruler
- disable text marker
- define the color and type of text marker
Modified values are saved in workspace.
Please push the patch to Gerrit. (In reply to comment #2) > Please push the patch to Gerrit. After struggling for nearly an hour I was able to push the patch to gerrit. Change-Id: I09a45a775b7dfa1d6bafabb65709da0b189b3613 Last time I tried that (not having super in marker) it caused errors not to show up on resources properly (i.e. in navigator) and quick fix was not working, is this working correctly now with this fix? (In reply to comment #5) > Last time I tried that (not having super in marker) it caused errors > not to show up on resources properly (i.e. in navigator) > and quick fix was not working, is this working correctly now with this fix? I did not encounter problems with resource decorations. About quick fix I am unsure. I did not check. (In reply to comment #6) > About quick fix I am > unsure. I did not check. There is no problem here, too. Quick fix works. The patch resulted in breaking "Ctrl+." and "Ctrl+," navigation to the next/previous error in the editor. Pushed patch to Gerrit https://git.eclipse.org/r/#/c/12979/ The last patch has been merged. |