Jonas Dreßler 8ffea9d5c5 workspace: Make title of overlay reactive ...

Also make the title of the overlay reactive so we can keep the overlay
visible if the mouse is hovering over the title.

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

2019-09-18 15:56:26 +00:00

..

extensionPrefs

…

gdm

…

misc

util: Handle trailing LTR/RTL markers in URLs

2019-09-16 20:41:47 +00:00

perf

…

portalHelper

…

ui

workspace: Make title of overlay reactive

2019-09-18 15:56:26 +00:00

js-resources.gresource.xml

…

meson.build

…

portal-resources.gresource.xml

…

prefs-resources.gresource.xml

…