extensions-notificateurs
extensions-notificateurs copied to clipboard
Refresh manuel
Amélioration possible : pouvoir rafraîchir manuellement, par exemple en ajoutant une option dans le menu de l'extension :
- Au clic droit sur l'icône — à voir si possible, je trouve pas de doc sur le sujet
- Dans la popup, via un bouton dédié (oblige à ouvrir la popup, pas forcément un comportement souhaité, surtout si l'icône est inactive)
Est-ce bien utile ?
Ça peut, si l'extension est bloquée sur une erreur par exemple, ou qu'on veut refresh exceptionnellement…
C'est pas vital, mais ça peut être un plus, si ça prend pas trop de temps à faire (à priori ça devrait pas, vu qu'un simple apple à theNotificator.check()
ferait l'affaire).