gnome-shell

History

Tarun Kumar Joshi b80ce2a32f theme: adds padding to search-provider-icon

Adds 15px padding to all sides of provider icon to have padding
which seems equal to that of list-search-result-content. This aligns the
provider icon vertically with the search result content.

Padding is set to 15px as list-search-result-content has 12px padding
and the outer box (list-search-result) has 3px.

http://bugzilla.gnome.org/show_bug.cgi?id=695760

2013-08-15 14:23:14 +02:00

theme

theme: adds padding to search-provider-icon

2013-08-15 14:23:14 +02:00

50-gnome-shell-system.xml.in

Add a toggle-overview keybinding

2013-04-18 20:34:41 -04:00

gnome-shell-extension-prefs.desktop.in.in

…

gnome-shell-overrides.convert

…

gnome-shell.desktop.in.in