gala_code.vala

// dim_windows method copied with animation effects removed, kept dock methods to update dock with first switch
void window_delay() {
    var current_actor = current_window.get_compositor_private() as Actor;
    var i = counter = 0;
    foreach (var clone in window_clones) {
        if (current_actor == clone.source) {
            set_child_below_sibling(clone, dock_background);

            dock.get_child_at_index(i).animate(AnimationMode.LINEAR, 100, opacity: 255);
        } else {
            dock.get_child_at_index(i).animate(AnimationMode.LINEAR, 100, opacity: 100);
        }

        // displays the effect every 500 ms
        if (counter == 500) {
            clone.animate(Clutter.AnimationMode.EASE_OUT_QUAD, 250, depth: -200.0f, opacity: 0);
            counter = 0;
        }

        i++;
        counter++;
    }
}