Carlos Garnacho 7f66aede01 keyboard: Fix warnings on destroyed actors ...

Trying to hide a page gets hard when the page was previouly destroyed.

Closes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/1281

2019-05-10 00:09:23 +02:00

..

extensionPrefs

extensionPrefs: Fix pref button appearance

2019-04-12 00:51:44 +02:00

gdm

popupMenu: Make MenuManager to take an actor as parameter

2019-04-17 21:32:18 +00:00

misc

boxpointer: Don't use boxpointer actor, as it's now an actor itself

2019-04-17 21:32:18 +00: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

keyboard: Fix warnings on destroyed actors

2019-05-10 00:09:23 +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