Has this setting or selector been changed?
#selection, .paperwm-selection {
border-color: rgba(233,233,233,0.25);
}
I put this into $HOME/.local/share/gnome-shell/extensions/paperwm@paperwm.github.com/stylesheet.css and also into $HOME/.config/paperwm/user.css, restarted PaperWM extension, rebooted the system, but it still does not work, I still get the default blue color. How can i change it?
Distribution: Fedora Linux 44 (Workstation Edition)
GNOME Shell: 50.3
Display server: Wayland
PaperWM version: 50.0.1
Has this setting or selector been changed?
#selection, .paperwm-selection {
border-color: rgba(233,233,233,0.25);
}
I put this into
$HOME/.local/share/gnome-shell/extensions/paperwm@paperwm.github.com/stylesheet.cssand also into$HOME/.config/paperwm/user.css, restarted PaperWM extension, rebooted the system, but it still does not work, I still get the default blue color. How can i change it?Distribution: Fedora Linux 44 (Workstation Edition)
GNOME Shell: 50.3
Display server: Wayland
PaperWM version: 50.0.1