Remove the "improved-workspace-indicator" GNOME extension
This commit is contained in:
parent
a15f027b91
commit
ddaef37e6b
5 changed files with 2 additions and 87 deletions
|
|
@ -7,7 +7,7 @@
|
||||||
|
|
||||||
[org/gnome/shell]
|
[org/gnome/shell]
|
||||||
|
|
||||||
enabled-extensions=['AlphabeticalAppGrid@stuarthayhurst', 'app-hider@lynith.dev', 'appindicator-hider@theophilediot.github.io', 'appindicatorsupport@rgcjonas.gmail.com', 'drive-menu@gnome-shell-extensions.gcampax.github.com', 'forge@jmmaranan.com', 'improved-workspace-indicator@michaelaquilina.github.io', 'just-perfection-desktop@just-perfection', 'launch-new-instance@gnome-shell-extensions.gcampax.github.com', 'light-style@gnome-shell-extensions.gcampax.github.com', 'no-screenshot-box@screenshot', 'panel-date-format@keiii.github.com']
|
enabled-extensions=['AlphabeticalAppGrid@stuarthayhurst', 'app-hider@lynith.dev', 'appindicator-hider@theophilediot.github.io', 'appindicatorsupport@rgcjonas.gmail.com', 'drive-menu@gnome-shell-extensions.gcampax.github.com', 'forge@jmmaranan.com', 'just-perfection-desktop@just-perfection', 'launch-new-instance@gnome-shell-extensions.gcampax.github.com', 'light-style@gnome-shell-extensions.gcampax.github.com', 'no-screenshot-box@screenshot', 'panel-date-format@keiii.github.com']
|
||||||
|
|
||||||
disabled-extensions=@as []
|
disabled-extensions=@as []
|
||||||
|
|
||||||
|
|
@ -112,28 +112,6 @@ window-gap-size-increment=uint32 2
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
[org/gnome/shell/extensions/improved-workspace-indicator]
|
|
||||||
|
|
||||||
panel-position='left'
|
|
||||||
|
|
||||||
# Only workspaces with windows are listed
|
|
||||||
skip-taskbar-mode=true
|
|
||||||
|
|
||||||
change-on-click=true
|
|
||||||
change-on-scroll=false
|
|
||||||
|
|
||||||
wrap-scroll=true
|
|
||||||
|
|
||||||
# `just-perfection` already hides the "Activities" button
|
|
||||||
hide-activities=false
|
|
||||||
|
|
||||||
hide-single-workspaces=false
|
|
||||||
|
|
||||||
# Written by ~/.local/bin/color-palette
|
|
||||||
custom-css-path='/home/user/.config/improved-workspace-indicator/stylesheet.css'
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
[org/gnome/shell/extensions/just-perfection]
|
[org/gnome/shell/extensions/just-perfection]
|
||||||
|
|
||||||
support-notifier-type=0
|
support-notifier-type=0
|
||||||
|
|
|
||||||
|
|
@ -1,7 +0,0 @@
|
||||||
# Improved Workspace Indicator Configurations
|
|
||||||
|
|
||||||
This folder contains the stylesheet
|
|
||||||
for the [Improved Workspace Indicator GNOME shell extension](https://extensions.gnome.org/extension/3968/improved-workspace-indicator/).
|
|
||||||
|
|
||||||
`stylesheet.css` is untracked
|
|
||||||
and written by [`color-palette`](../../.local/bin/color-palette).
|
|
||||||
|
|
@ -3,7 +3,7 @@
|
||||||
# This file's name matches the CLI convention in ~/.local/bin
|
# This file's name matches the CLI convention in ~/.local/bin
|
||||||
# pylint: disable=invalid-name
|
# pylint: disable=invalid-name
|
||||||
|
|
||||||
# Templates for seven consumers live here
|
# Templates for six consumers live here
|
||||||
# => Length of file is managable
|
# => Length of file is managable
|
||||||
# pylint: disable=too-many-lines
|
# pylint: disable=too-many-lines
|
||||||
|
|
||||||
|
|
@ -884,41 +884,6 @@ def render_rofi(colors: dict[str, str]) -> str:
|
||||||
""")
|
""")
|
||||||
|
|
||||||
|
|
||||||
def render_workspace_indicator(colors: dict[str, str]) -> str:
|
|
||||||
"""Render ~/.config/improved-workspace-indicator/stylesheet.css."""
|
|
||||||
return textwrap.dedent(f"""\
|
|
||||||
/* Written by ~/.local/bin/color-palette */
|
|
||||||
/* accent={colors['_accent']} scheme={colors['_scheme']} */
|
|
||||||
|
|
||||||
.panel-workspace-indicator {{
|
|
||||||
padding: 0 2px;
|
|
||||||
border: 0;
|
|
||||||
background-color: transparent;
|
|
||||||
}}
|
|
||||||
|
|
||||||
.panel-workspace-indicator-box {{
|
|
||||||
padding: 0;
|
|
||||||
}}
|
|
||||||
|
|
||||||
.panel-workspace-indicator {{
|
|
||||||
padding: 1px 8px;
|
|
||||||
margin: 0 3px;
|
|
||||||
border: 0;
|
|
||||||
border-radius: 8px;
|
|
||||||
font-size: 10pt;
|
|
||||||
font-weight: 600;
|
|
||||||
color: {colors['chrome-quiet']};
|
|
||||||
background-color: {colors['surface-dim']};
|
|
||||||
}}
|
|
||||||
|
|
||||||
.panel-workspace-indicator.workspace-indicator-active {{
|
|
||||||
font-weight: 700;
|
|
||||||
color: {colors['text']};
|
|
||||||
background-color: {colors['accent']};
|
|
||||||
}}
|
|
||||||
""")
|
|
||||||
|
|
||||||
|
|
||||||
def show_colors(colors: dict[str, str]) -> None:
|
def show_colors(colors: dict[str, str]) -> None:
|
||||||
"""Print all derived colors of this run for debugging."""
|
"""Print all derived colors of this run for debugging."""
|
||||||
print(
|
print(
|
||||||
|
|
@ -1032,10 +997,6 @@ def write_consumers(colors: dict[str, str]) -> int:
|
||||||
content=render_rofi(colors),
|
content=render_rofi(colors),
|
||||||
target=config_home / "rofi" / "colors.rasi",
|
target=config_home / "rofi" / "colors.rasi",
|
||||||
),
|
),
|
||||||
write_file(
|
|
||||||
content=render_workspace_indicator(colors),
|
|
||||||
target=config_home / "improved-workspace-indicator" / "stylesheet.css",
|
|
||||||
),
|
|
||||||
)
|
)
|
||||||
|
|
||||||
return 0 if all(results) else 1
|
return 0 if all(results) else 1
|
||||||
|
|
|
||||||
|
|
@ -48,12 +48,5 @@ if gnome-extensions list --enabled 2>/dev/null | grep -qxF "forge@jmmaranan.com"
|
||||||
gsettings set $Forge window-gap-size "uint32 $_gap"
|
gsettings set $Forge window-gap-size "uint32 $_gap"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# The "workspace indicator" extension only re-reads its stylesheet on a restart
|
|
||||||
_iwi=improved-workspace-indicator@michaelaquilina.github.io
|
|
||||||
if gnome-extensions list --enabled 2>/dev/null | grep -qxF "$_iwi"; then
|
|
||||||
gnome-extensions disable "$_iwi"
|
|
||||||
gnome-extensions enable "$_iwi"
|
|
||||||
fi
|
|
||||||
|
|
||||||
|
|
||||||
echo "Switched the color theme to $new_theme"
|
echo "Switched the color theme to $new_theme"
|
||||||
|
|
|
||||||
|
|
@ -118,16 +118,6 @@ fi
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
# improved-workspace-indicator's `enable()` unloads every other extension's
|
|
||||||
# stylesheet before loading its own (e.g., forge's focus rings vanish)
|
|
||||||
# => Drop that loop in the installed extension
|
|
||||||
IWI_JS="$XDG_DATA_HOME/gnome-shell/extensions/improved-workspace-indicator@michaelaquilina.github.io/extension.js"
|
|
||||||
if [ -w "$IWI_JS" ]; then
|
|
||||||
sed -i '/this\.themesLoaded = this\.themeContext/,/^ }$/d' "$IWI_JS"
|
|
||||||
fi
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
echo "Import GNOME extensions' schemas"
|
echo "Import GNOME extensions' schemas"
|
||||||
|
|
||||||
SCHEMAS="$HOME/.local/bin/gnome-shell-extensions-schemas-import"
|
SCHEMAS="$HOME/.local/bin/gnome-shell-extensions-schemas-import"
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue