gnome-shell/js
Florian Müllner 5bd295842b extensionPrefs: Request correct GDK/GTK versions
gjs no longer has an implicit dependency on GTK 3.0, so without
requesting an explicit version, we will get the highest available.

Our code isn't GTK-4 ready, so request 3.0 explicitly.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/686
2019-08-21 19:43:33 +02:00
..
extensionPrefs extensionPrefs: Request correct GDK/GTK versions 2019-08-21 19:43:33 +02:00
gdm js: Use Clutter transitions for adjustment changes 2019-08-07 18:40:49 +02:00
misc util: Remove AppSettingsMonitor 2019-08-08 17:41:46 +02:00
perf perf: Shut up another eslint error 2019-07-24 00:28:45 +02:00
portalHelper cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ui pieTimer: Use custom GObject property for animating pie 2019-08-21 17:14:40 +02: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