2019-12-18 16:25:03 -05:00
|
|
|
/* App Switcher */
|
|
|
|
|
2021-12-28 08:46:54 -05:00
|
|
|
// same as dash
|
|
|
|
$switcher_padding: $base_padding + 4px; // 10px
|
|
|
|
$switcher_border_radius: $modal_radius + 8px;
|
|
|
|
|
|
|
|
|
|
|
|
// the full screen container of the switcher
|
2019-12-18 16:25:03 -05:00
|
|
|
.switcher-popup {
|
2021-12-28 08:46:54 -05:00
|
|
|
padding: 0;
|
2022-02-07 13:22:40 -05:00
|
|
|
spacing: $base_padding * 4;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// switcher onscreen panel
|
|
|
|
.switcher-list {
|
2019-12-19 10:38:27 -05:00
|
|
|
@extend %osd_panel;
|
2021-12-28 08:46:54 -05:00
|
|
|
padding: $switcher_padding;
|
|
|
|
border-radius: $switcher_border_radius;
|
|
|
|
box-shadow: 0 8px 8px 0 rgba(0,0,0,0.1);
|
|
|
|
|
|
|
|
// container for items in list
|
|
|
|
.switcher-list-item-container {
|
2022-02-07 13:22:40 -05:00
|
|
|
spacing: $base_padding * 2;
|
2021-12-28 08:46:54 -05:00
|
|
|
}
|
2019-12-19 10:38:27 -05:00
|
|
|
|
2021-12-28 08:46:54 -05:00
|
|
|
// each item in the list
|
2019-12-19 10:38:27 -05:00
|
|
|
.item-box {
|
2022-02-07 13:22:40 -05:00
|
|
|
@include tile_button($osd_fg_color);
|
2022-02-15 11:00:51 -05:00
|
|
|
// override over style so mouse doesn't steal focus
|
|
|
|
&:hover {background: none;}
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.separator {
|
|
|
|
width: 1px;
|
|
|
|
background: $borders_color;
|
|
|
|
}
|
|
|
|
|
2021-12-28 08:46:54 -05:00
|
|
|
// container of thumbnails
|
|
|
|
.thumbnail-box {
|
|
|
|
padding: 2px;
|
2022-02-07 13:22:40 -05:00
|
|
|
spacing: $base_padding;
|
2021-12-28 08:46:54 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// window thumbnail itself
|
|
|
|
.thumbnail {
|
|
|
|
width: 256px; // equal to THUMBNAIL_DEFAULT_SIZE in altTab.js
|
|
|
|
border-radius:$base_border_radius;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
2021-12-28 08:46:54 -05:00
|
|
|
// arrow if app has multiple windows
|
2019-12-18 16:25:03 -05:00
|
|
|
.switcher-arrow {
|
2021-12-28 08:46:54 -05:00
|
|
|
border-color: transparentize($osd_fg_color, 0.2);
|
|
|
|
color: transparentize($osd_fg_color, 0.2);
|
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
&:highlighted {
|
2021-12-28 08:46:54 -05:00
|
|
|
border-color: $osd_fg_color;
|
|
|
|
color: $osd_fg_color;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2020-01-19 11:34:56 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Input Source Switcher
|
|
|
|
.input-source-switcher-symbol {
|
|
|
|
font-size: 34pt;
|
|
|
|
width: 96px;
|
|
|
|
height: 96px;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Window cycler highlight
|
|
|
|
.cycler-highlight {
|
|
|
|
border: 5px solid $selected_bg_color;
|
|
|
|
}
|