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.