Changes between Initial Version and Version 1 of Ticket #17295, comment 3
- Timestamp:
- 2019-02-08T18:48:05+01:00 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #17295, comment 3
initial v1 4 4 5 5 1) put preferred categories first in error/warning lists. 6 2) put ignored categories in a third list such as "ignored", folded. You can thus still see the number of ignored warnings for these, but you can just ignore that and it won't take much space in the UI. The "ignore" button should be disabled when an item is coming from this list obviously. 6 2) put ignored categories in a third list such as "ignored", folded. You can thus still see the number of ignored warnings for these, but you can just ignore that and it won't take much space in the UI. The "ignore" button should be disabled when an item is coming from this list obviously. Or even better, it could be changed to "Reenable". But maybe that would break the whole logic behind #17268?