gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
A menu entry Annotation ⇒ Edit Labels/Colors… should be added. This action would open a panel like the following:
Annotation ⇒ Edit Labels/Colors…
where the user can click on the annotation boxes to change its label and its color.