forked from qt-creator/qt-creator
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>
This commit is contained in:
@@ -95,6 +95,9 @@ public:
|
||||
void updateMark(TextMark *mark);
|
||||
void moveMark(TextMark *mark, int previousLine);
|
||||
void removeMarkFromMarksCache(TextMark *mark);
|
||||
static void temporaryHideMarksAnnotation(const Utils::Id &category);
|
||||
static void showMarksAnnotation(const Utils::Id &category);
|
||||
static bool marksAnnotationHidden(const Utils::Id &category);
|
||||
|
||||
// IDocument implementation.
|
||||
bool save(QString *errorString, const Utils::FilePath &filePath, bool autoSave) override;
|
||||
|
||||
Reference in New Issue
Block a user