Lars Ingebrigtsen <
larsi@gnus.org> writes:
> Mauro Aranda <
maurooaranda@gmail.com> writes:
>
>> Anyway, I attach a patch to add support for extended menus in
>> widget-choose, as a first step to add radio buttons for related options
>> in these Custom menus.
>
> Looks good to me, so I've pushed this to the trunk.
Great, thanks.
The attached patch makes Custom use extended menus when invoking the
State button.
With this patch, custom-menu-filter wouldn't be used anymore in Custom,
but I've found that the jdee package uses it. Another concern is that
there might be 3rd party code that assumes these custom menus are
in the simplified menu format, and add stuff to the list, or some other stuff.
I'm not really sure what to do about it.
0001-Make-the-State-button-in-Custom-use-extended-menus.patch