Add more options to the annotation bar ("Annotate the document" top bar)
Submitted by Gordian Edenhofer
Currently the annotation bar which covers the head of the document comprises two tools. It would make sense to put the rest of the space to good use e.g. by adding options (icons) for different annotations colors. Moreover quickly changing the annotation colors is useful either way.
Version: git master