Remove the forge "unfocused-border" patch
The patch rewrote forge's window.js with `sed`/`awk` anchored on exact upstream lines, making it the most fragile piece of the repository, for a purely cosmetic hairline on unfocused windows. This also simplifies a future migration away from forge.
This commit is contained in:
parent
ff5713a91a
commit
86cce2d9cf
5 changed files with 9 additions and 111 deletions
|
|
@ -32,8 +32,6 @@ Process:
|
|||
4. Patch a broken backup path in the installed `forge` extension (`theme.js`)
|
||||
5. Ensure the enabled GNOME extensions' schemas are imported
|
||||
6. Load every `*.ini` here, then every `local/*.ini`
|
||||
7. Apply a small [patch](../../.local/bin/gnome-shell-extension-forge-patch)
|
||||
to the `forge` extension to draw borders on unfocused windows
|
||||
|
||||
[`dconf-load`](../../.local/bin/dconf-load) captures step 6 as an independent utility,
|
||||
or for just one file given as an argument,
|
||||
|
|
|
|||
|
|
@ -255,14 +255,13 @@ format='%A %B %-d, %Y %H:%M:%S %Z%z'
|
|||
|
||||
# Rounds all window corners uniformly (e.g., needed for `alacritty`)
|
||||
#
|
||||
# The rings drawn by forge sit 1px outside the frame and therefore use
|
||||
# a "border-radius" of 13px (12px + 1px inset) in
|
||||
# The rings drawn by forge sit outside the window frame
|
||||
# and use a "border-radius" of 13px in
|
||||
# ~/.config/forge/stylesheet/forge/stylesheet.css so their curves
|
||||
# stay concentric with the 12px window corners
|
||||
# stay roughly concentric with the 12px window corners
|
||||
#
|
||||
# "padding" stays 0 because the unfocused borders drawn by
|
||||
# ~/.local/bin/gnome-shell-extension-forge-patch sit 1px outside
|
||||
# the window frame (its "inset" of 1) and never cover the contents
|
||||
# "padding" stays 0 because forge draws its focus rings outside
|
||||
# the window frame and they never cover the contents
|
||||
#
|
||||
custom-rounded-corner-settings=@a{sv} {}
|
||||
global-rounded-corner-settings={'padding': <{'left': uint32 0, 'right': 0, 'top': 0, 'bottom': 0}>, 'keepRoundedCorners': <{'maximized': true, 'fullscreen': true}>, 'borderRadius': <uint32 12>, 'smoothing': <0.0>, 'borderColor': <(0.6, 0.149, 0.0, 1.0)>, 'enabled': <true>}
|
||||
|
|
|
|||
Loading…
Reference in a new issue