Hi Piotr, I've added a GitHub issue to memorize your report.. https://github.com/BaseXdb/basex/issues/343 ..will probably be taken care of before the next release. Thanks, Christian ___________________________ On Thu, Jan 19, 2012 at 9:38 PM, Piotr Bański <bansp@o2.pl> wrote:
Hi all,
I have an feature request for the GUI editor (veeery handy for testing, thanks!): make it possible to revert files from disk. I have a file open in it that I want to update, because it got modified externally. But I can't -- not even if I open the open-file dialog and try to open it again, as if. No go, the old version sits in the editor still, and I was lucky not to overlook this fact or else I wouldn't know why it doesn't work.
Thanks for considering this, and thanks for your work on BaseX,
Piotr _______________________________________________ BaseX-Talk mailing list BaseX-Talk@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk