gnome-shell/js
Allan Day 34e9513e1f adjust UI to new text styles
With the new text styles, some UI needs to adjusted, primarily to
accommodate larger heading text.
2019-06-27 13:52:40 +01:00
..
extensionPrefs extensionPrefs: Fix pref button appearance 2019-04-12 00:51:44 +02:00
gdm js: Throw GObject.NotImplementedError when requiring overriding 2019-05-21 15:43:21 -05:00
misc main, LoginManager: Call GDM's RegisterSession() 2019-06-18 09:21:58 +01:00
perf perf: Stop using GTK 2019-04-11 17:27:50 +00:00
portalHelper cleanup: Use destructuring for imports from GI 2019-02-09 07:39:20 +01:00
ui adjust UI to new text styles 2019-06-27 13:52:40 +01:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02: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