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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
