Permettre de replier le menu latéral de l'admin

[bruno]

Certains plugins pourraient avoir besoin de plus d'espace sur la page d'admin pour gérer leur contenu (je pense notamment à un gestionnaire de médias qui affiche un répertoire plein d'images).

Il serait intéressant dans ces cas de permettre de replier le menu latéral vers la gauche.

[bruno]

(ou mieux, maintenant qu'on a de belles icônes, qu'on puisse réduire le menu de gauche à une barre verticale d'icônes)

[kozlika]

Je ne suis pas trop favorable à ce que ce type d'action se passe sans demande spécifique de l'utilisateur. Prévoir un mécanisme où le plugin le recommande sans y contraindre serait préférable.

See #1259 qui a été fermé mais je ne sais pas si c'est parce qu'on réduirait sans changer la taille des icônes ou si c'est déjà ailleurs ou si c'est un vrai wontfix.

[bruno]

duplicate #1259