[gnome-db] SQL command history

[Rodrigo Moya <rodrigo gnome-db org>]

Hi

Right now, the SQL command history on the SQL page is not saved between
sessions, so you lose all of them as soon as you close Mergeant.

I wanted to change that, and came up to a doubt, which is where to store
them. That is, for the gnome-db front end, they were saved in GConf,
with the rest of the configuration, but since in Mergeant we are using a
file, I wonder if that should be added to the file, so that if you send
the file to another person, he/she will get also the list of commands.

So, what do you think? Vivien, what would be needed to add that to the
mergeant file format? Do I have to extend the DTD, right?

cheers