Jonas Dreßler 59bd2dd1e3 windowManager: Use shorter string for dialog headline ...

Since the headlines of the dialogs now use a much larger font, the
strings need to be shorter so they won't be ellipsized.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/942

2020-02-01 08:08:33 +01:00

..

extensionPrefs

extensionPrefs: Don't (re-)bind text domain

2020-01-06 13:10:43 +00:00

gdm

util: Move wiggle parameters to a common place

2020-02-01 08:06:31 +01:00

misc

util: Move wiggle parameters to a common place

2020-02-01 08:06:31 +01:00

perf

…

portalHelper

portalHelper: Require GTK 3.0

2020-01-31 17:39:18 +01:00

ui

windowManager: Use shorter string for dialog headline

2020-02-01 08:08:33 +01:00

js-resources.gresource.xml

swipeTracker: Introduce swipe tracker

2020-01-10 18:20:22 +01:00

meson.build

…

portal-resources.gresource.xml

…

prefs-resources.gresource.xml

…