Remove the "space-bar" GNOME extension
This commit is contained in:
parent
ae3b7100a9
commit
f9601c310c
3 changed files with 8 additions and 126 deletions
|
|
@ -198,10 +198,10 @@ FORGE_CSS = textwrap.dedent("""\
|
|||
}}
|
||||
|
||||
.window-tiled-border {{
|
||||
/* The focused tiled ring is the one place besides space-bar's */
|
||||
/* active workspace that carries the full accent; all other */
|
||||
/* focused rings (split, stacked, tabbed, floated) use */
|
||||
/* emphasis-dim instead */
|
||||
/* The focused tiled ring is the one place that */
|
||||
/* carries the full accent; all other */
|
||||
/* focused rings (split, stacked, tabbed, floated) */
|
||||
/* use emphasis-dim instead */
|
||||
border-width: 4px;
|
||||
border-color: {accent};
|
||||
border-style: solid;
|
||||
|
|
@ -352,17 +352,6 @@ CONSUMERS = {
|
|||
"primary-color": ("black", as_hex),
|
||||
"secondary-color": ("black", as_hex),
|
||||
},
|
||||
"org/gnome/shell/extensions/space-bar/appearance": {
|
||||
"active-workspace-background-color": ("accent", as_rgb),
|
||||
"active-workspace-border-color": ("active-border", as_rgb),
|
||||
"active-workspace-text-color": ("text", as_rgb),
|
||||
"empty-workspace-background-color": ("chrome", as_rgb),
|
||||
"empty-workspace-border-color": ("chrome", as_rgb),
|
||||
"empty-workspace-text-color": ("emphasis-dim", as_rgb),
|
||||
"inactive-workspace-background-color": ("chrome", as_rgb),
|
||||
"inactive-workspace-border-color": ("chrome", as_rgb),
|
||||
"inactive-workspace-text-color": ("chrome-quiet", as_rgb),
|
||||
},
|
||||
"org/gnome/terminal/legacy/profiles:/:12345678-1234-5678-9000-123456789000": {
|
||||
"background-color": ("base", as_rgb),
|
||||
"foreground-color": ("text", as_rgb),
|
||||
|
|
|
|||
Loading…
Reference in a new issue