r18208 a aussi emporté la suppression du bouton de masquage/affichage de la barre d'outils,

 qui ergonomiquement marche très mal (bouton trop affordant, non sens de cacher des outils d'accès rapide ...)
 On complète en enlevant le style associé, tout ça peut etre rajouté en plugin pour le(s) vrai(s) fan(s) de ce bouton, ou en attendant une proposition qui marche vraiment.