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 > -- Dev mailing list - [email protected] - http://ml.dotclear.org/listinfo/dev
