Le 01/09/2013 14:30, Nicolas a écrit :
Est-ce que tu as essayé de l'enlever de tes favoris et le remettre ensuite
?
Cela ressemble à un bug mais je n'arrive pas à le reproduire.
Le 1 septembre 2013 14:25, Julien Mudry <[email protected]> a écrit :
Bonjour les gens.
Je ne sais pas si c'est à considérer comme un bug ou si c'est voulu, donc
je m'en enquiers ici avant d'ouvrir un ticket.
Je viens de constater que le gestionnaire de médias a été renommé
médiathéque récemment. J'avais le gestionnaire de médias parmi mes favoris.
Et j'ai constaté aujourd'hui que mon favori s'appelle toujours gestionnaire
de médias...
Est-ce voulu que le changement de nom ne soit pas répercuté dans les
favoris ? Et dans la gestion des favoris, je ne trouve pas de moyen de
renommer ledit favori si je le souhaite (autrement que de le supprimer et
le remettre).
julien
--
Dev mailing list - [email protected] -
http://ml.dotclear.org/listinfo/dev
Dans le tableau de bord, j'ai désormais "médiathèque" mais j'ai
également cet intitulé dans les favoris. Tu as vidé le cache?
Annie Thomas
--
Dev mailing list - [email protected] - http://ml.dotclear.org/listinfo/dev
