2a3a5dfc0b
The usual expectation when selecting large fonts is for content to be bigger, not that less content is displayed. While not always possible, there's no reason not to scale modal dialogues with the font size. https://bugzilla.gnome.org/show_bug.cgi?id=782000 |
||
---|---|---|
.. | ||
theme | ||
50-gnome-shell-system.xml | ||
gnome-shell-extension-prefs.desktop.in.in | ||
gnome-shell-overrides.convert | ||
gnome-shell-theme.gresource.xml | ||
gnome-shell.portal | ||
Makefile.am | ||
org.gnome.Shell.desktop.in.in | ||
org.gnome.shell.gschema.xml.in | ||
org.gnome.Shell.PadOsd.xml | ||
org.gnome.Shell.PortalHelper.desktop.in.in | ||
org.gnome.Shell.PortalHelper.service.in | ||
org.gnome.Shell.Screencast.xml | ||
org.gnome.Shell.Screenshot.xml | ||
org.gnome.ShellSearchProvider2.xml | ||
org.gnome.ShellSearchProvider.xml | ||
perf-background.xml.in |