David Schulz baa1e3c2e1 Editor: Allow to hide annotations for a group of text marks ...

The hiding is not persistent, so on the next Qt Creator start all
annotations are visible again. This is meant to quickly get rid of
annotations if there are to many irrelevant of a specific kind.

Change-Id: I4862e56e0f5624f30aadda26efc9dea672ab1f57
Reviewed-by: Christian Stenger <christian.stenger@qt.io>

2023-01-12 10:19:10 +00:00

656 B

Raw Blame History

View Raw