Tooltips

• Lors de l'activation/désactivation du surlignage, les tooltips des checkboxs et des icônes de surlignage ont tendance à se décaler sur la gauche au lieu d'être centrés comme initialement prévu. Le rechargement de l'extension résout généralement le problème (jusqu'à l'utilisation du bouton de surlignage).
• Les tooltips du menu de l'extension peuvent être gênants lors de l'utilisation car ils ne disparaissent pas quand on les survole (donc qu'on quitte le bouton qui doit afficher le tooltip), ce qui peut empêcher d'accéder facilement au bouton adjacent.