GUI: set titles on toolbars so that they appear in the right-click view menu
Authored by: Jean-Francois Dockes 2018-02-16
Parent(s): [ac09a9]
Child(ren): [9ff044]