Bonjour herve33124,
Je viens de vérifier et je constate que je n'ai plus le problème
(EDIT_1 : du coup, je viens d'ajouter "Résolu" dans le titre de la discussion). Est-ce que tu as de l'info là-dessus et depuis quand le problème est supposé être réglé (ça fait un bon moment que je n'avais pas eu à tester la chose) ?
EDIT_2 : du coup, j'ai eu envie de fouiner sur le site bugs.launchpad.net et j'y ai trouvé le rapport de bug
#1765304 qui semble correspondre au problème. Si on en croit ce qui est raconté dans ce rapport, le problème serait réglé depuis le passage de gnome-shell à la version 3.28.3-0ubuntu0.18.04.4 qui a eu lieu le 7 janvier 2019 (date de la mise à jour officielle parce qu'elle a été
"proposed" dès le 12 décembre 2018).