>> 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 ?
Can I submit the patch tomorrow?