Florian Müllner 7cc1cf3b4a [panel] Use the same fade effects as menus ... Currently, the buttons change their background immediately when activated, while the menus fade in quickly - instead, make buttons use the same effect as the menus. https://bugzilla.gnome.org/show_bug.cgi?id=619240		2010-06-08 19:32:16 +02:00
..
theme	[panel] Use the same fade effects as menus	2010-06-08 19:32:16 +02:00
clock-preferences.ui
close-black.svg
gnome-shell-clock-preferences.desktop.in.in
gnome-shell.desktop.in.in
gnome-shell.schemas	Add ISO week dates to the calendar	2010-05-28 01:31:33 +02:00
gs-applications.menu	[allApps] Reorder sections	2010-06-06 19:26:13 +02:00
magnifier.svg
Makefile.am	Add sections to the all apps view	2010-06-06 02:53:27 +04:00