Jonas Dreßler 12de4e67f8 theme: Fix workspace switcher popup box size ...

This should be the last fallout from the theme refresh, make sure all
the boxes of the workspace switcher popup are the correct size.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1022

2020-02-19 14:07:36 +00:00

..

_a11y.scss

…

_app-grid.scss

…

_base.scss

…

_buttons.scss

…

_calendar.scss

…

_check-box.scss

…

_corner-ripple.scss

…

_dash.scss

…

_dialogs.scss

…

_entries.scss

…

_hotplug.scss

…

_ibus-popup.scss

…

_keyboard.scss

…

_login-dialog.scss

…

_looking-glass.scss

…

_message-list.scss

…

_misc.scss

…

_network-dialog.scss

…

_notifications.scss

…

_osd.scss

…

_overview.scss

…

_panel.scss

…

_popovers.scss

…

_screen-shield.scss

…

_scrollbars.scss

…

_search-entry.scss

…

_search-results.scss

…

_slider.scss

…

_switcher-popup.scss

…

_switches.scss

…

_tiled-previews.scss

…

_window-picker.scss

…

_workspace-switcher.scss

theme: Fix workspace switcher popup box size

2020-02-19 14:07:36 +00:00

_workspace-thumbnails.scss

…