Dear Szabolcs Kurdi,

I'm trying to embed BaseX into a smaller java project - pretty much everything works perfectly, but I can't seem to find a way to rename an existing database: am I missing something? I use CreateDB, DropDB and InfoDB - is there something like RenameDB? Or shall I try to rename the directory at the user's home dir in BaseXData? Thank you!

Exactly. Currently, we have no command to rename databases, and the most straightforward way is to directly rename the directory. As some people have asked for the same feature before, you'll most probably find it in the next release.

PS: probably it is widely known, but in the gui the query editor is badly broken with international keyboards (like using the AltGr key).

Yes, this one is on our todo list as well. External bug fixes/patches would be welcome, as we only have been able to test English and Germans keyboard layouts.

Thanks, Christian

___________________________

Christian Gruen Universitaet Konstanz Department of Computer & Information Science D-78457 Konstanz, Germany Tel: +49 (0)7531/88-4449, Fax: +49 (0)7531/88-3577 http://www.inf.uni-konstanz.de/~gruen