MultitaskingView: Fix dock animation (#1912)

This commit is contained in:
Leonhard 2024-05-28 02:02:25 +02:00 committed by GitHub
parent bb8da6c79f
commit fc3c22f9ca
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -786,9 +786,9 @@ namespace Gala {
private void show_docks (bool with_gesture, bool is_cancel_animation) { private void show_docks (bool with_gesture, bool is_cancel_animation) {
unowned GLib.List<Meta.WindowActor> window_actors = display.get_window_actors (); unowned GLib.List<Meta.WindowActor> window_actors = display.get_window_actors ();
foreach (unowned Meta.WindowActor actor in window_actors) { foreach (unowned Meta.WindowActor actor in window_actors) {
const int MAX_OFFSET = 85; const int MAX_OFFSET = 200;
if (actor.is_destroyed ()) { if (actor.is_destroyed () || !actor.visible) {
continue; continue;
} }
@ -807,7 +807,7 @@ namespace Gala {
var window_geom = window.get_frame_rect (); var window_geom = window.get_frame_rect ();
var top = monitor_geom.y + MAX_OFFSET > window_geom.y; var top = monitor_geom.y + MAX_OFFSET > window_geom.y;
var bottom = monitor_geom.y + monitor_geom.height - MAX_OFFSET > window_geom.y; var bottom = monitor_geom.y + monitor_geom.height - MAX_OFFSET < window_geom.y;
if (!top && !bottom) { if (!top && !bottom) {
continue; continue;