brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3c47923953
gnome-shell/js
History
Jonas Dreßler 3c47923953 networkAgent: Use shorter title strings 
Since the headlines of the dialogs now use a much larger font, the
strings need to be shorter so they won't be ellipsized. So use a shorter
strings for those titles and also adjust the title-strings of the
notifications sent by the NetworkAgent to be consistent.

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 cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper portalHelper: Require GTK 3.0 2020-01-31 17:39:18 +01:00
ui networkAgent: Use shorter title strings 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 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 build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00