Commit graph

9 commits

Author SHA1 Message Date
Rui Matos
99f26e4d0b search: Set a minimum height to avoid toplevel being resized too small 2017-08-28 18:58:05 +02:00
Jonathan Kang
a108ee19b9 search: don't allow horizontal scrolling
Set hscrollbar_policy property of GtkScrolledWindow to never to
disable horizontal scrolling.

https://bugzilla.gnome.org/show_bug.cgi?id=785397
2017-08-28 18:58:05 +02:00
Allan Day
8a8e53ab8a Standardize vertical spacing of panels
Ensure that the vertical spacing inside each panel is similar.
This makes the transition between each panel smoother and makes
the control center feel more cohesive.

Settings panels are given 32px above and below their content
and 32px vertical space between major sections. 12px space is
placed below headings.

Bluetooth, displays and printers are not addressed.

https://bugzilla.gnome.org/show_bug.cgi?id=786384
2017-08-20 18:38:42 +02:00
Georges Basile Stavracas Neto
f7bdd3c969 panels: Minor adjustments for the new shell 2017-08-09 19:31:41 +02:00
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