The current styling doesn't indicate the active workspace very well, and makes it difficult to differentiate empty workspaces from workspaces with maximized windows. Tweak the styling to address those issues. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/283 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/166>
29 lines
510 B
CSS
29 lines
510 B
CSS
.panel-workspace-indicator {
|
|
padding: 0 8px;
|
|
}
|
|
|
|
.panel-workspace-indicator-box {
|
|
padding: 4px 0;
|
|
spacing: 4px;
|
|
}
|
|
|
|
.panel-workspace-indicator-box .workspace {
|
|
width: 40px;
|
|
border: 2px solid #000;
|
|
border-radius: 2px;
|
|
background-color: #595959;
|
|
}
|
|
|
|
.panel-workspace-indicator-box .workspace.active {
|
|
border-color: #fff;
|
|
}
|
|
|
|
.workspace-indicator-window-preview {
|
|
background-color: #bebebe;
|
|
border: 1px solid #828282;
|
|
}
|
|
|
|
.workspace-indicator-window-preview.active {
|
|
background-color: #d4d4d4;
|
|
}
|