d6648b0b5c
The panel-button introduces some horizontal padding which is insensitive
to scroll events. Without this change, there is a small dead zone in the
corner that cannot be used to switch workspaces with the mouse wheel.
For useMenu mode, this has the effect of removing all of the horizontal
space to the edge of the screen, so I add some back with the
status-label-bin margin.
This a is similar change to 8bad8a3b63.
Fixes #315.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/171>
116 lines
2.1 KiB
CSS
116 lines
2.1 KiB
CSS
.window-list {
|
|
spacing: 2px;
|
|
font-size: 10pt;
|
|
}
|
|
|
|
.window-button {
|
|
padding: 1px;
|
|
}
|
|
|
|
.window-button:first-child:ltr {
|
|
padding-left: 2px;
|
|
}
|
|
|
|
.window-button:last-child:rtl {
|
|
padding-right: 2px;
|
|
}
|
|
|
|
.window-button-box {
|
|
spacing: 4px;
|
|
}
|
|
|
|
.window-button > StWidget,
|
|
.window-picker-toggle > StWidget {
|
|
color: #bbb;
|
|
background-color: black;
|
|
border-radius: 2px;
|
|
padding: 3px 6px 1px;
|
|
box-shadow: inset 1px 1px 4px rgba(255,255,255,0.5);
|
|
text-shadow: 1px 1px 4px rgba(0,0,0,0.8);
|
|
}
|
|
|
|
.window-picker-toggle {
|
|
padding: 3px;
|
|
}
|
|
|
|
.window-picker-toggle > StWidet {
|
|
border: 1px solid rgba(255,255,255,0.3);
|
|
}
|
|
|
|
.window-button > StWidget {
|
|
-st-natural-width: 18.75em;
|
|
max-width: 18.75em;
|
|
}
|
|
|
|
.window-button:hover > StWidget,
|
|
.window-picker-toggle:hover > StWidget {
|
|
color: white;
|
|
background-color: #1f1f1f;
|
|
}
|
|
|
|
.window-button:active > StWidget,
|
|
.window-button:focus > StWidget {
|
|
box-shadow: inset 2px 2px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button.focused > StWidget,
|
|
.window-picker-toggle:checked > StWidget {
|
|
color: white;
|
|
box-shadow: inset 1px 1px 4px rgba(255,255,255,0.7);
|
|
}
|
|
|
|
.window-button.focused:active > StWidget,
|
|
.window-picker-toggle:checked:active > StWidget {
|
|
box-shadow: inset 2px 2px 4px rgba(255,255,255,0.7);
|
|
}
|
|
|
|
.window-button.minimized > StWidget {
|
|
color: #666;
|
|
box-shadow: inset -1px -1px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button.minimized:active > StWidget {
|
|
box-shadow: inset -2px -2px 4px rgba(255,255,255,0.5);
|
|
}
|
|
|
|
.window-button-icon {
|
|
width: 24px;
|
|
height: 24px;
|
|
}
|
|
|
|
.window-list-workspace-indicator .status-label-bin {
|
|
background-color: rgba(200, 200, 200, .3);
|
|
border: 1px solid #cccccc;
|
|
padding: 0 3px;
|
|
margin: 3px;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspaces-box {
|
|
spacing: 3px;
|
|
padding: 3px;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspace {
|
|
border: 2px solid #000;
|
|
width: 52px;
|
|
border-radius: 4px;
|
|
background-color: #595959;
|
|
}
|
|
|
|
.window-list-workspace-indicator .workspace.active {
|
|
border-color: #fff;
|
|
}
|
|
|
|
.window-list-window-preview {
|
|
background-color: #bebebe;
|
|
border: 1px solid #828282;
|
|
}
|
|
|
|
.window-list-window-preview.active {
|
|
background-color: #d4d4d4;
|
|
}
|
|
|
|
.notification {
|
|
font-weight: normal;
|
|
}
|