From f9601c310c32752a3ba7e22d4899d967e5d2bbe4 Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Tue, 20 Oct 2026 15:30:14 +0200 Subject: [PATCH] Remove the "space-bar" GNOME extension --- .config/gnome-settings/key-bindings.ini | 40 +---------- .config/gnome-settings/shell-extensions.ini | 75 +-------------------- .local/bin/color-palette | 19 ++---- 3 files changed, 8 insertions(+), 126 deletions(-) diff --git a/.config/gnome-settings/key-bindings.ini b/.config/gnome-settings/key-bindings.ini index 50b2873..3b4e87d 100644 --- a/.config/gnome-settings/key-bindings.ini +++ b/.config/gnome-settings/key-bindings.ini @@ -98,10 +98,10 @@ # s | Stacked layout | | | | # w | Tabbed layout | | Toggle WiFi | Toggle airplane mode | # ------------------+------------------------+------------------------+------------------------+------------------------+------------------------ -# grave ~ ` | Toggle last two WS | | Swap last two windows | | +# grave ~ ` | | | Swap last two windows | | # | | | | | -# n | Jump to first ... | Move window to ... | | | -# | ... empty WS | ... first empty WS | | | +# n | | Move window to ... | | | +# | | ... first empty WS | | | # | | | | | # | Jump to WS ... | Move window to WS ... | | | # 1 to 0 | ... No. 1 to 0 | ... No. 1 to 0 | | | @@ -234,9 +234,6 @@ toggle-on-all-workspaces=@as [] show-desktop=@as [] -# The following could also be populated automatically -# in [org/gnome/shell/extensions/space-bar/shortcuts] -# but we use the more deterministic configuration here switch-to-workspace-1=[ '1'] switch-to-workspace-2=[ '2'] switch-to-workspace-3=[ '3'] @@ -259,9 +256,6 @@ switch-to-workspace-right=['period'] # must remove period from its (default) binding; # otherwise it contradicts "switch-to-workspace-right" -# The following could also be populated automatically -# in [org/gnome/shell/extensions/space-bar/shortcuts] -# but we use the more deterministic configuration here move-to-workspace-1=[ '1'] move-to-workspace-2=[ '2'] move-to-workspace-3=[ '3'] @@ -709,34 +703,6 @@ open-new-window-application-9=@as [] -[org/gnome/shell/extensions/space-bar/shortcuts] - -# We use the `switch-to-workspace-N`s in [org/gnome/desktop/wm/keybindings] -enable-activate-workspace-shortcuts=false - -# We use the `move-to-workspace-N`s in [org/gnome/desktop/wm/keybindings] -enable-move-to-workspace-shortcuts=false - -# Jump back to the previous workspace, -# also allowing toggling between two workspaces -# (Note that "grave" is the formal word for "backtick") -activate-previous-key=['grave'] - -# Jump to the first empty workspace -activate-empty-key=['n'] - -# Use the mouse to move to the previous workspace -# by clicking on the current one (again) -back-and-forth=false - -move-workspace-left=@as [] -move-workspace-right=@as [] - -# Preferences window -open-menu=@as [] - - - [org/gnome/terminal/legacy/keybindings] copy='c' diff --git a/.config/gnome-settings/shell-extensions.ini b/.config/gnome-settings/shell-extensions.ini index 0a7d6f3..62ae24f 100644 --- a/.config/gnome-settings/shell-extensions.ini +++ b/.config/gnome-settings/shell-extensions.ini @@ -7,7 +7,7 @@ [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', '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', 'space-bar@luchrioh'] +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 [] @@ -248,76 +248,3 @@ screenshot-on-release=false [org/gnome/shell/extensions/panel-date-format] format='%A %B %-d, %Y %H:%M:%S %Z%z' - - - -[org/gnome/shell/extensions/space-bar] - - -[org/gnome/shell/extensions/space-bar/appearance] - -# The colors below are the "orange"/light defaults from -# ~/.config/gnome-settings/COLORS.md and are overridden at load time -# by local/palette.ini, written by ~/.local/bin/color-palette - -custom-styles-enabled=false - -workspace-margin=2 -workspaces-bar-padding=0 - -active-workspace-font-size=10 -active-workspace-font-weight='700' -active-workspace-text-color='rgb(42,11,1)' -active-workspace-background-color='rgb(237,91,0)' -active-workspace-border-color='rgb(153,38,0)' -active-workspace-border-radius=8 -active-workspace-border-width=0 -active-workspace-padding-h=8 -active-workspace-padding-v=2 - -inactive-workspace-font-size=10 -inactive-workspace-font-weight='600' -inactive-workspace-text-color='rgb(99,18,0)' -inactive-workspace-background-color='rgb(235,235,237)' -inactive-workspace-border-color='rgb(235,235,237)' -inactive-workspace-border-radius=8 -inactive-workspace-border-width=0 -inactive-workspace-padding-h=8 -inactive-workspace-padding-v=2 - -empty-workspace-font-size=10 -empty-workspace-font-weight='600' -empty-workspace-text-color='rgb(252,108,39)' -empty-workspace-background-color='rgb(235,235,237)' -empty-workspace-border-color='rgb(235,235,237)' -empty-workspace-border-radius=8 -empty-workspace-border-width=0 -empty-workspace-padding-h=8 -empty-workspace-padding-v=2 - - -[org/gnome/shell/extensions/space-bar/behavior] - -system-workspace-indicator=false - -position='left' -position-index=0 - -indicator-style='workspaces-bar' - -always-show-numbers=false -show-empty-workspaces=false -smart-workspace-names=false - -enable-custom-label=true -enable-custom-label-in-menu=true -custom-label-named='{{name}}' -custom-label-unnamed='{{number}}' - -scroll-wheel='disabled' - -toggle-overview=false - - -# [org/gnome/shell/extensions/space-bar/shortcuts] -# See ~/.config/gnome-settings/key-bindings.ini for the key bindings diff --git a/.local/bin/color-palette b/.local/bin/color-palette index 7998bec..84b6d1a 100755 --- a/.local/bin/color-palette +++ b/.local/bin/color-palette @@ -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),