Upstream: https://gitlab.gnome.org/GNOME/gnome-tweaks/issues/194
PS: is it worth filing bugs here as well, in addition to the upstream bug?
Upstream: https:/ /gitlab. gnome.org/ GNOME/gnome- tweaks/ issues/ 194
PS: is it worth filing bugs here as well, in addition to the upstream bug?