gnome-shell/js
Florian Müllner d21b276c07 panel: Also ignore hidden windows for proximity
We currently only ignore minimized windows, not windows that are
hidden for other reasons - namely on wayland windows are initially
hidden until they are placed.

This fixes a flicker in the transparent top bar on wayland when the
"position" of an unplaced window wrongly suggests the window is
overlapping the top bar.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/693


(cherry picked from commit a0dc8dc7ef)
2018-10-23 15:32:13 +00:00
..
extensionPrefs dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
gdm dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
misc keyboardManager: Avoid idempotent calls to meta_backend_set_keymap() 2018-10-23 09:47:46 +00:00
perf scripting: Fix argument list of createTestWindow() 2018-04-25 23:47:06 +02:00
portalHelper dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
ui panel: Also ignore hidden windows for proximity 2018-10-23 15:32:13 +00:00
js-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00