On Mon, Oct 3, 2011 at 9:42 PM, Guillaume Lelarge <[email protected]> wrote: > > You're right, the "edit function" hint doesn't force people to do the > VACUUM.
Of course it doesn't - that would be ridiculous. What I was saying was that the "edit function" hint doesn't force you to use the query tool. It suggests you use the query tool, and if you click Cancel it cancels the original operation to open the properties dialogue, and if you click OK it continues. > I still think we should get a Close button, instead of the > OK/Cancel pair. On the "edit function", we would have a "Edit" button > (and the Close button). IOW, I still think we have a bad UI for hints. What would make more sense is to have a "Cancel" button to cancel the original operation and an "Ignore" button meaning "Ignore the hint". I don't know if that would be appropriate on all hints though. -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
