Lars Ingebrigtsen <email@example.com
> Mauro Aranda <firstname.lastname@example.org
>> I think that toolbar icons and menu bar items should also be
>> enabled/disabled according to the state of the options in the Custom
>> buffer, so I propose a patch that adds logic to do that as well.
> I haven't tried the patch, but this makes sense to me.
Thanks. Should I wait for further comments, or is it OK to push and see
if anything comes up? I mean, I have tested the code quite a bit, but
perhaps I should wait for comments about the code itself?