On ven., 2011-05-13 at 12:04 +0200, Andreas Neudecker wrote: > The menu options Shortcuts and Tree in the submenu View > Side Pane are > checkboxes, even though checking one unchecks the other. They should clearly be > radio buttons. Can you do radio buttons inside menus? -- Yves-Alexis