4 commits

Author	SHA1	Message	Date
Yosef Or Boczko	479ce6d0d2	search: Use margin-start/end instead of margin-left/right ... https://bugzilla.gnome.org/show_bug.cgi?id=712661	2013-11-19 22:30:56 +02:00
Rui Matos	96b9111865	search: Remove unused toplevel window from .ui file ... https://bugzilla.gnome.org/show_bug.cgi?id=708286	2013-10-01 10:05:03 +02:00
Matthias Clasen	3d27d8caaf	shell: Fittsify panels ... Make it possible for panels to go all the way to the edge of the shell. This is particularly important for panels that scroll, such as the new power panel. All other panels are changed to compensate for the loss of external padding. https://bugzilla.gnome.org/show_bug.cgi?id=691229	2013-01-07 10:51:29 +01:00
Cosimo Cecchi	7ab2d5073d	search: add a panel to configure search providers ... The panel lists all the search providers registered on the system, and allows to reoder or disable them, or disable the search providers feature entirely. The panel will also allow configuration, for which a first implementation will be added in a separate commit. https://live.gnome.org/Design/SystemSettings/Search https://bugzilla.gnome.org/show_bug.cgi?id=687490	2012-11-27 12:33:00 +01:00