diff options
author | Florian Müllner <fmuellner@gnome.org> | 2022-07-29 23:41:33 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2022-08-10 16:28:30 +0200 |
commit | 127248fe9e3237747a856c7be6f291a2c96c9fa1 (patch) | |
tree | f99bdd546d871e995cf447b3b4e5e5a9eecb2eaf | |
parent | d16a697b517e6221050ce537156063b475a587d2 (diff) | |
download | gnome-shell-sass-127248fe9e3237747a856c7be6f291a2c96c9fa1.tar.gz |
quickSettings: Add header to QuickToggleMenu
All menus in the mockups spot a header, and as we are using a
custom menu type anyway, just add some API there.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2393>
-rw-r--r-- | widgets/_quick-settings.scss | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/widgets/_quick-settings.scss b/widgets/_quick-settings.scss index 05d8495..eeb7420 100644 --- a/widgets/_quick-settings.scss +++ b/widgets/_quick-settings.scss @@ -24,6 +24,27 @@ .quick-toggle-menu { @include card(); padding: 1.5 * $base_padding; + + & .header { + spacing-rows: 0.5 * $base_padding; + spacing-columns: $base_padding; + padding-bottom: 2 * $base_padding; + + & .icon { + icon-size: $large_icon_size; + border-radius: 999px; + padding: 1.5 * $base_padding; + background-color: lighten($bg_color, 10%); + } + + & .title { + @extend %title_3; + } + + & .subtitle { + @extend %caption_heading; + } + } } .quick-toggle-menu-container { |