[Editor] Add a toggle button to show/hide all the highlights (bug 1867740)

This commit is contained in:
Calixte Denizet 2024-03-06 22:38:25 +01:00
parent 6bb6ce6a5d
commit 39aeea3e94
13 changed files with 393 additions and 6 deletions

View file

@ -173,6 +173,7 @@ function getViewerConfiguration() {
editorFreeHighlightThickness: document.getElementById(
"editorFreeHighlightThickness"
),
editorHighlightShowAll: document.getElementById("editorHighlightShowAll"),
},
printContainer: document.getElementById("printContainer"),
};