Topic: sauvegarde dans la collection utilisateur
bonjour et bravo pour votre travail !
j'ai un probleme tout bete, apres modification d'un symbole dans l'editeur, je n'arrive pas à "l'enregistrer sous" avec un nouveau nom. j'imagine que ce n'est pas grand chose mais je ne trouve pas la soluce...
ubuntu 18.04, QET 5.9.5,
merci d'avance