Florian Müllner e2726f3e38 Add a checkbox widget ...

gnome-keyring dialogs need checkboxes, and while it is possible to
get pretty close using CSS tricks, a dedicated widgets yields better
results.

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

2012-02-15 22:14:11 +01:00

..

search_providers

…

shaders

windowManager: shade the actor, not the texture

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

theme

Add a checkbox widget

2012-02-15 22:14:11 +01:00

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

Fixed typo in string

2012-02-09 10:09:33 +01:00

gnome-shell-overrides.convert

gsettings: Add migration file for overrides

2012-01-10 19:40:01 +01:00

gnome-shell.desktop.in.in

gnome-shell.desktop: Set autorestart flag

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

Makefile.am

Add a checkbox widget

2012-02-15 22:14:11 +01:00

org.gnome.shell.gschema.xml.in

ShellRecorder: drop frames to approximate the target framerate

2012-01-31 10:47:19 -05:00