Florian Müllner d0d82cdf7e popup-menu: Add combo box menu item ... Introduce a new menu widget, which displays the active item from a set of options, and pops up a child menu to allow changing the active item when activated. https://bugzilla.gnome.org/show_bug.cgi?id=652837		2011-08-29 22:11:14 +02:00
..
search_providers	add ability to search in web from search view	2011-01-18 00:41:59 +03:00
shaders	[windowDimmer] Bump GLSL version to 1.10	2010-09-11 21:41:47 +02:00
theme	popup-menu: Add combo box menu item	2011-08-29 22:11:14 +02:00
gnome-shell.desktop.in.in	gnome-shell.desktop: Set autorestart flag	2011-03-21 15:57:49 -04:00
gnome-shell.schemas	Enable the workspaces_only_on_primary feature of mutter	2011-03-17 14:13:55 +01:00
Makefile.am	Add support for gdm greeter session	2011-08-29 14:11:36 -04:00
org.gnome.shell.gschema.xml.in	Favorites: Add gnome-documents to default list	2011-08-29 21:52:46 +02:00