Bonjour à tous,
Je rencontre un problème assez gênant avec l’extension Dash to Dock sous Fedora (GNOME), et j’aimerais savoir si d’autres utilisateurs ont déjà rencontré ce comportement ou s’il existe une solution propre.
Description du problème
Le dock ne se masque pas correctement de manière aléatoire.
Même lorsque des fenêtres sont maximisées ou en plein écran, il arrive que celui-ci reste affiché au-dessus des applications.
Le comportement est intermittent :
Observations
Le problème survient avec plusieurs applications (Vivaldi, LibreOffice, Firefox…)
Il semble plus fréquent sous Wayland
Le mode “masquage intelligent” est activé
J’utilise l’option “Toutes les fenêtres”
Ce qui corrige temporairement le problème
Cela donne l’impression que l’extension se désynchronise de GNOME Shell
Configuration
Questions
Est-ce un bug connu de Dash to Dock sous Wayland ?
Est-ce lié à GNOME Shell plutôt qu’à l’extension elle-même ?
Existe-t-il une solution ou un workaround propre (hors redémarrage de l’extension) ?
Certains ont-ils constaté une amélioration sur GNOME récent ou versions à venir ?
Merci d’avance pour vos retours
