GUI query editor --> revert file

On Thu, Jan 19, 2012 at 9:38 PM, Piotr Bański <bansp at 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 at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

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 at 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 at mailman.uni-konstanz.de >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >

> 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 at 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 at mailman.uni-konstanz.de >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >> > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk