9d94da83d7
Adding a "PopupMenuRadioButtonItem" wouldn't work well, because we'll need radio-button indicators on multiple different styles of menu item. Also, the current design draws the indicator in the menu item's padding, so it's sort of special anyway. So just add support at the BaseMenuItem level. Also, redo the menu/menuitem padding so that all the horizontal padding is in the menu item, or else the indicator dot will show up in the wrong spot. https://bugzilla.gnome.org/show_bug.cgi?id=631193 |
||
|---|---|---|
| .. | ||
| shaders | ||
| theme | ||
| clock-preferences.ui | ||
| close-black.svg | ||
| gnome-shell-clock-preferences.desktop.in.in | ||
| gnome-shell.desktop.in.in | ||
| gnome-shell.schemas | ||
| gs-applications.menu | ||
| magnifier.svg | ||
| Makefile.am | ||
| org.gnome.accessibility.magnifier.gschema.xml.in | ||
| org.gnome.shell.gschema.xml.in | ||
