Jonas Dreßler 80a869e768 dialogs: Use a smaller font-size if the title width exceeds the space ... Since quite a few strings of dialogs provided by external programs are not updated yet and the string freeze is already in effect, make sure we don't break those dialogs by stripping aways large parts of the headline. To do that, detect if the title label is larger than the available width and if it is, switch to a smaller font-size of 13pt. This makes sure we still show about the same number of characters in the headline as we did in previous releases. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1012		2020-02-17 21:42:05 +00:00
..
extensionPrefs	extensionPrefs: Remove stray > in .ui file	2020-02-06 20:05:32 +01:00
gdm	authPrompt: Use the same hint text as the polkitDialog for the password	2020-02-17 11:03:07 +00:00
misc	util: Move wiggle parameters to a common place	2020-02-01 08:06:31 +01:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	portalHelper: Enable WebKit sandbox if available	2020-02-06 18:28:40 +01:00
ui	dialogs: Use a smaller font-size if the title width exceeds the space	2020-02-17 21:42:05 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	extensionPrefs: Move description into a expander	2020-02-03 19:11:21 +01:00