Un plugin pratique

Je suis content de ce plugin, qui ne m’a causé qu’un soucis, lorsque sa couleur est momentanément devenue grise. J’ai à présent réglé ce problème grace à la couleur de mon thème dans les réglages généraux.