Cosimo Cecchi 3b6fae582b sessionMode: add a property to disable window manager menus ...

We will use this to disable menus in the initial-setup session.

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

2019-06-06 01:25:04 +00: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

modemManager: improve check for CDMA system identifier

2019-05-27 08:36:05 -07: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

sessionMode: add a property to disable window manager menus

2019-06-06 01:25:04 +00:00

js-resources.gresource.xml

locatePointer: Add implementation in gnome-shell

2019-06-05 08:15:10 +00: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