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