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
