6bae9ed20d
Previously this was inheriting the default size, which is specified in pts, and so would make the text larger than its 16px containing box if you have high DPI. https://bugzilla.gnome.org/show_bug.cgi?id=639213 |
||
---|---|---|
.. | ||
shaders | ||
theme | ||
close-black.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
gs-applications.menu | ||
magnifier.svg | ||
Makefile.am | ||
org.gnome.accessibility.magnifier.gschema.xml.in | ||
org.gnome.shell.gschema.xml.in |