Quand l'utilisateur fait un clic droit sur une plateforme, et clique ensuite sur "Masquer" -> l'ensemble des plateforme ne sont plus affichées.
L’élément IDG de explorateur n'est pas correctement mis à jour mais la plateforme est bien décoché dans les paramètres du plugin.
Quand l'utilisateur fait un clic droit sur une plateforme, et clique ensuite sur "Masquer" -> l'ensemble des plateforme ne sont plus affichées. L’élément IDG de explorateur n'est pas correctement mis à jour mais la plateforme est bien décoché dans les paramètres du plugin.