>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
Jean-Marc> What happens is that you set all menu entries as checkable. Jean-Marc> With the style I use (plastik), this means that one gets a Jean-Marc> small checkbox near to each menu item. So the basis of the Jean-Marc> patch is to set checkable only when the entry is a toggle, Jean-Marc> and then set checked to true or false as needed. I applied the patch. JMarc