On Sat, 2 Feb 2002, Marc Delisle wrote:

I would like to replace the buttons Drop, Empty, Print view (and soon Optimize tables) under the table list, by a drop-down.

That would be fine by me. Those are not heavily used controls, so the one extra click/keypress does not seriously effect their useability.