gnome-shell/js
Georges Basile Stavracas Neto 1ee73ac357
system: Ellipsize user name
For the same reasons explained in the previous commit,
ellipsize the user name in UserWidget as well. This
covers a various other places like GDM.
2019-02-07 17:54:19 -02:00
..
extensionPrefs extensionPrefs: Work around xgettext bug 2019-02-03 16:11:09 +00:00
gdm shellActionModes: disable POPUP keybindings in unlock screen 2019-02-05 11:09:40 -05:00
misc extensionUtils: Include some more helper functions 2019-02-06 19:52:21 +01:00
perf perf: Stop using legacy generator functions 2019-01-28 17:29:35 +00:00
portalHelper cleanup: Port GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
ui system: Ellipsize user name 2019-02-07 17:54:19 -02:00
js-resources.gresource.xml build: Remove remote menu support 2019-02-06 18:29:15 +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