Florian Müllner d33958ceee dash: Minor style fixes ...

- 1px border rather than 2
 - less padding around launchers
 - icon prelight was too bright, bring it down a notch

Based on an original patch by Jakub Steiner.

https://bugzilla.gnome.org/show_bug.cgi?id=636156

2011-02-09 22:16:45 +01:00

..

search_providers

add ability to search in web from search view

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

shaders

…

theme

dash: Minor style fixes

2011-02-09 22:16:45 +01:00

close-black.svg

…

gnome-shell.desktop.in.in

desktop-file: Remove "Utility" from categories

2011-01-27 11:37:39 +01:00

gnome-shell.schemas

…

gs-applications.menu

gs-menu: Do not exclude "Core" category

2011-01-25 19:39:58 +01:00

magnifier.svg

…

Makefile.am

workspace-switcher: Switch to vertical orientation

2011-02-09 20:02:51 +01:00

org.gnome.accessibility.magnifier.gschema.xml.in

…

org.gnome.shell.gschema.xml.in

recorder: Switch to webm

2011-01-21 19:46:38 +01:00