Est-il possible de changer la couleur de fond, la transparence et la famille de polices dans Dash to Panel? J'ai cherché, mais sans succès.
OS Ubuntu 18.04.4.
Mise à jour
J'ai suivi les liens dans les commentaires, mais sans succès. J'utilise l'extension de personnalisation gnome-shell-extension-dash-to-panel. Est-ce que cela fonctionne avec cela?
