je recherche Colorer

[kernadec]

bonjour erix14
tout d'abord merci!
j'ai remarqué un ptit truc, ça ne le fait pas toujours,
mais quand on as plusieurs fois utiliser copier, il arrive un moment que
la fonction coller de l'éditeur reste parfois avec un (copier/coller) précédent??
il m'as fait ça ce matin, je l'avais déjà eu mais je n'y avais pas prêté attention.

cordialement

[Geo Trouvpatou]

Salut.

Merci pour cette nouvelle version.

Tu ne crois pas que ce serait bien d'ouvrir un nouveau post pour ton extension que Dobro pourrait mettre en Post-it.

Là on spam le post de JBernard .

Bon c'est surtout qu'après un certain temps on a du mal à retrouver le post concernant ton extension.

Bye.

[Le Soldat Inconnu]

Oui, très bien, cette nouvelle version.

Juste 2 petits truc, la modification des options n'est prise en compte qu'après redémarrage de FireFox
Peut-être il faudrait le signaler

Sinon, une options pour masquer l'icône en bas dans la barre, c'est possible ?

[Anonyme2]

Salut Erix14,

j'ai un problème d'installation (je suis passé de la 1ere version à la version 1.3.1

L'erreur est celle-ci



(console d'erreur)

Erreur : e.location.getItemLocation(e.id) is undefined
Fichier Source : file:///C:/Program%20Files/Mozilla%20Firefox/components/nsExtensionManager.js
Ligne : 4082

A+
Denis

[erix14]

Bonjour,

Merci pour toutes vos remarques, elles seront traitées dans la prochaine version et je créerais un nouveau post pour vous l'annoncer. Cette mise à jour ne se fera qu'au mois de juillet, car vendredi, après le travail, ma femme et moi, nous partons en vacance 3 semaines en Roumanie.

@Denis, as-tu essayé en désinstallant l'extension avant ? ( Outils -> Modules complémentaires : bouton [Désinstaller] de l'extension) Je suppose que tu as la dernière version de Firefox ?

[Anonyme2]

Je n'ai pas désinstallé l'extension , je verrais cet après-midi

A+