You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.
It seems that GNOME 3.14 is more picky about Type= in the index.theme than earlier versions, and expects capitalized values (i.e. Scalable, not scalable, cf. freedesktop spec).
My guess is that GNOME then falls back to the default value for Type which results in blurry icons in some cases, e.g.:
Type=Scalable fixes this.
The text was updated successfully, but these errors were encountered:
It seems that GNOME 3.14 is more picky about
Type=
in the index.theme than earlier versions, and expects capitalized values (i.e.Scalable
, notscalable
, cf. freedesktop spec).My guess is that GNOME then falls back to the default value for
Type
which results in blurry icons in some cases, e.g.:Type=Scalable
fixes this.The text was updated successfully, but these errors were encountered: