La barre verticale des Favoris ne défile pas

Bonjour,

Je suis sous Debian 9 avec son bureau Gnome. J’ai ajouté toute une série de favoris dans cette barre mais celle-ci ne défile pas alors que le nombre des icônes des favoris déborde largement de l’affichage écran.

Comment faire défiler cette barre pour pouvoir atteindre les icônes non visibles ?

Merci.

Salut
j’utilise l’extension Dash To dock
https://extensions.gnome.org/extension/307/dash-to-dock/

facilement paramétrable, ça fonctionne très bien

Merci.

Je teste.

A+