VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

window-list: Improve preview styling

Browse Source 
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>
This commit is contained in:
Florian Müllner
2021-01-16 01:25:00 +01:00
committed by Marge Bot
parent fdfa46099b
commit 5be44705f7
2 changed files with 10 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
extensions/window-list/classic.css
View File

@@ -50,11 +50,12 @@
/* workspace switcher */
.window-list-workspace-indicator .workspace {
background-color: #ddd;
border: 2px solid #f6f5f4;
background-color: #ccc;
}
.window-list-workspace-indicator .workspace.active {
background-color: #ccc;
border-color: #888;
}
.window-list-window-preview {
@@ -64,5 +65,4 @@
.window-list-window-preview.active {
background-color: #f6f5f4;
border: 2px solid #888;
}

28
extensions/window-list/stylesheet.css
View File

@@ -23,7 +23,7 @@
.window-picker-toggle > StWidget {
color: #bbb;
background-color: black;
border-radius: 4px;
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);
@@ -91,37 +91,23 @@
}
.window-list-workspace-indicator .workspace {
border: 1px solid #cccccc;
border: 2px solid #000;
width: 52px;
}
.window-list-workspace-indicator .workspace:first-child:last-child:ltr,
.window-list-workspace-indicator .workspace:first-child:last-child:rtl {
border-radius: 4px;
}
.window-list-workspace-indicator .workspace:first-child:ltr,
.window-list-workspace-indicator .workspace:last-child:rtl {
border-radius: 4px 0 0 4px;
}
.window-list-workspace-indicator .workspace:first-child:rtl,
.window-list-workspace-indicator .workspace:last-child:ltr {
border-radius: 0 4px 4px 0;
background-color: #595959;
}
.window-list-workspace-indicator .workspace.active {
background-color: rgba(200, 200, 200, .3);
border-color: #fff;
}
.window-list-window-preview {
background-color: #252525;
border: 1px solid #ccc;
background-color: #bebebe;
border: 1px solid #828282;
}
.window-list-window-preview.active {
background-color: #353535;
border: 2px solid #ccc;
background-color: #d4d4d4;
}
.notification {