Отличное предложение, @mjames! Однако я решил, что требуется более элегантное решение, и только что реализовал его для выпуска в следующей версии.
Обратите внимание, что кнопка Create “Diff” PDF больше отсутствует, поэтому нет необходимости использовать Ctrl+D для печати Diff; просто используйте Ctrl+P, как обычно, и если опция включена, вы получите обработку Diff. [Но горячая клавиша Ctrl+D будет просто переключать этот параметр за вас.]
Это также помогает немного упростить Basic View:
В целом, я полагаю, что это более интуитивно, чем старый способ работы.
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.
Переведено машиной с языка English
