gnome-shell/js
Florian Müllner c134091268 windowPreview: Allow to disable overlay
WindowPreviews now contain and manage overlaid elements like close
button or title label themselves. That's generally better, but right now
the only way to disable those overlays (for example during transitions)
is to prevent any hover or focus events from getting to the preview.

Instead, add some explicit API for enabling or disabling overlay support.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1345
2020-07-07 00:06:49 +02:00
..
dbusServices notificationDaemon: Fix grouping by PID 2020-05-19 08:24:07 +00:00
gdm gdm: Introduce vmware credential manager for pre-authenticated logins 2020-07-04 08:11:49 +08:00
misc util: Remove unused class CloseButton 2020-06-11 20:49:31 +02:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui windowPreview: Allow to disable overlay 2020-07-07 00:06:49 +02:00
js-resources.gresource.xml gdm: Introduce vmware credential manager for pre-authenticated logins 2020-07-04 08:11:49 +08:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00