On Mon, Oct 3, 2011 at 9:42 PM, Guillaume Lelarge
<guillaume@lelarge.info> 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