a123ec94ef
This makes it easy to replace the dot with another label in the future. Change the allocation logic, as text layout is more complicated than simple icon logic. https://bugzilla.gnome.org/show_bug.cgi?id=698427 |
||
|---|---|---|
| .. | ||
| theme | ||
| 50-gnome-shell-screenshot.xml.in | ||
| 50-gnome-shell-system.xml.in | ||
| gnome-shell-extension-prefs.desktop.in.in | ||
| gnome-shell-overrides.convert | ||
| gnome-shell.desktop.in.in | ||
| Makefile.am | ||
| org.gnome.shell.gschema.xml.in.in | ||
| org.gnome.Shell.Screenshot.xml | ||
| org.gnome.ShellSearchProvider2.xml | ||
| org.gnome.ShellSearchProvider.xml | ||
| wanda.png | ||
