Une question s'est posée : lorsque l'utilisateur intervient sur le document PDF pour apporter des corrections ou des modifications à la reconnaissance de PDFToMusic, que faire de ces modifications ? Une possibilité aurait été de considérer que les modifications étaient volatiles et non préservées lors de la fermeture du document. Ceci n'aurait pas porté préjudice au fonctionnement dans le cas de l'utilisation de PDFToMusic en tant que convertisseur de document PDF vers le MusicXML. Mais, lorsque PDFToMusic est utilisé comme visualiseur/interpréteur musical de documents PDF, l'utilisateur pouvait être amené à revenir souvent sur le même document et donc devoir refaire à chaque fois les mêmes modifications. Une solution classique a été envisagée : laisser à l'utilisateur la possibilité de sauvegarder sur demande, les modifications apportées dans un fichier indépendant. C'est possible. Mais auquel cas, lors du rechargement du document PDF, il faudrait choisir de nouveau d'appliquer ce fichier de modifications qui reste spécifique au document PDF. C'est juste informatiquement, mais humainement contraignant. Une autre réponse a été trouvée au problème. Nous avons choisi de sauvegarder automatiquement toutes les modifications de l'utilisateur, lors de la fermeture du document PDF, dans un dossier particulier des documents utilisateur. Ainsi, lors du chargement ultérieur du fichier PDF, les dernières modifications associées au fichier sont retrouvées de manière totalement transparente. C'est souple et pratique mais avec néanmoins quelques désavantages. Il est difficile d'envoyer à quelqu'un un document PDF avec les modifications correspondantes puisqu'il s'agit de deux fichiers à des positions différentes sur le disque. L'idéal aurait été de pouvoir mémoriser les modifications directement dans le document PDF, mais cela est techniquement complexe et surtout, source de confusion possible pour les visualiseurs de PDF autres que PDFToMusic. |