Jakub Steiner 8d3e5ea507 Make notification icon buttons elegant. ...

The huge icons had little whitespace and don't scale pixel precise.

2011-11-21 15:39:36 +01:00

..

search_providers

add ability to search in web from search view

2011-01-18 00:41:59 +03:00

shaders

windowManager: shade the actor, not the texture

2011-09-20 14:56:25 -04:00

theme

Make notification icon buttons elegant.

2011-11-21 15:39:36 +01:00

gnome-shell.desktop.in.in

gnome-shell.desktop: Set autorestart flag

2011-03-21 15:57:49 -04:00

Makefile.am

Adapt to mutter moving to GSettings

2011-11-11 20:32:43 +01:00

org.gnome.shell.gschema.xml.in

Adapt to mutter moving to GSettings

2011-11-11 20:32:43 +01:00