Je viens de télécharger en live pour en avoir le cœur net, et si, je peux te confirmer que ça vient bien de cette option.
J'ai d'abord essayé avoir un autre thème, à savoir, Blue-Submarine, et le comportement que tu souhaites est bien là.
Du coup si tu utilises le thème par défaut Ambiant-MATE, il faut passer cette commande:
sudo sed -i '/false/ s/false/true/' /usr/share/themes/Ambiant-MATE/gtk-3.0/settings.ini
S'il s'agit d'un autre thème, adapte la commande ou bien va voir directement dans le dossier /usr/share/themes/Nom-du-thème/gtk-3.0/settings.ini et modifie la valeur boléenne de
gtk-primary-button-warps-slider de
false à
true.
Un redémarrage de firefox a été suffisant.
Une autre solution qui devrait fonctionner si tu ne souhaites le faire que pour ton utilisateur, faire les modifications sur une copie du thème que tu places dans ~/.themes.