Dear Piotr,

I've processed your GitHub issue [1]: Opened files can now be reverted in the BaseX editor. Next, an opened file will be automatically be refreshed if the editor pane regains is focus, and if it has not been modified. Feel free to check out the latest snapshot [2].

Best, Christian

[1] https://github.com/BaseXdb/basex/issues/343 [2] http://docs.basex.org/wiki/Releases ___________________________

BaseX Team Christian Grün Uni KN, Box 188 D-78457 Konstanz http://www.basex.org

2012/1/24 Piotr Bański bansp@o2.pl:

Dear Christian,

Somewhat belated thanks -- also for pointing me to the GitHub, I've managed to miss it and it appears to contain an answer to at least one problem I've encountered so far.

Best,

Piotr

On 20/01/12 01:30, Christian Grün wrote:

...

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

---

BaseX-Talk mailing list BaseX-Talk@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk