Felipe Borges
a0dccafaa2
search: Place the whole content in a scrolled window
...
A step towards the new panel design is to place all
the panel content inside of a scrolled window, instead
of just the list box.
The new panel mockups are available at
https://wiki.gnome.org/Design/SystemSettings/Search
https://bugzilla.gnome.org/show_bug.cgi?id=775958
2017-04-29 13:39:22 +02:00
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
