On 27/11/2012 17:48, Matthew Brush wrote:
We could just drop the Close button altogether since you can already close the document by using the close button in the notebook tab, the close button in the toolbar, the close button in the main menu or by using Ctrl+W (or whatever) accelerator. Unlike the "missing on disk"
That takes quite a bit longer when you have several files to reload and you want to close most of them. This situation actually happens often for me, I think pretty much as often as I want to reload documents.
dialog where I often use the dialog's Close button (to close and re-open new filename), for the "changed on disk" dialog, I find the Close button to not be very useful in practice.
Either way, I also agree with keeping the "Reload" button.
OK, great.