Lars Ingebrigtsen writes: > Mauro Aranda writes: > >> 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?