FWIW, I verified that this patch fixes the Firefox issue if I apply it directly to my system, like so: cd /usr/share/themes/ sudo patch -p1 < /tmp/theme-patch.patch
FWIW, I verified that this patch fixes the Firefox issue if I apply it directly to my system, like so: patch.patch
cd /usr/share/themes/
sudo patch -p1 < /tmp/theme-