On Thu, 2011-10-27 at 18:47 -0200, Vinicius Santos wrote: > > > > Yes. Our UI guideline is to disable (and not hide) widgets when the > > option is not available (whatever the reason). > > > > Ok. Do you agree with implementation ? >
I agree with the idea. I'll agree with the implementation once I'll read the patch :) > Can I submit the patch tomorrow? Sure. -- Guillaume http://blog.guillaume.lelarge.info http://www.dalibo.com -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
