Belle suggestion, @mjames ! Cependant, j'ai décidé qu'une solution plus élégante était nécessaire, et je viens de l'implémenter pour la prochaine version.
Notez qu'il n'y a plus de bouton Create “Diff” PDF, il n'est donc plus nécessaire d'utiliser Ctrl+D pour imprimer un Diff ; utilisez simplement Ctrl+P comme d'habitude, et si l'option est activée, vous obtiendrez le traitement Diff. [Mais le raccourci Ctrl+D basculera simplement ce paramètre pour vous.]
Cela aide également à simplifier légèrement la Basic View :
Dans l'ensemble, j'espère que c'est plus intuitif que l'ancienne méthode.
Nice suggestion, @mjames! However, I decided that a more elegant solution was called for, and have just implemented that for release in the next version.
Notice that there is no Create “Diff” PDF button any more, so there is no need to use Ctrl+D to print a Diff; just use Ctrl+P as usual, and if the option is enabled, you’ll get the Diff processing. [But the Ctrl+D shortcut will just toggle that setting for you.]
This also helps to simplify the Basic View slightly:
Overall, I trust that this is more intuitive than the old way of doing things.
Traduit automatiquement depuis English
