Bad interaction with Dash to dock when search is hidden

[pacu23]

Hello, basically the Dock covers the app labels, which are positioned lower when the search bar is hidden. Can something be done from this extension's side or it needs to be from Dash to dock's side?

P.S. An option to move the app labels inside of the window previews, like with Native window placement extension, would fix it

[pacu23]

Stole the code from there:

// extension.js
import Clutter from 'gi://Clutter';
import {Extension, InjectionManager} from 'resource:///org/gnome/shell/extensions/extension.js';
import {WindowPreview} from 'resource:///org/gnome/shell/ui/windowPreview.js';

export default class WindowLabelsOnTopExtension extends Extension {
    constructor(metadata) {
        super(metadata);
        this._injectionManager = new InjectionManager();
    }

    enable() {
        // Modify window preview initialization to position titles on top
        this._injectionManager.overrideMethod(
            WindowPreview.prototype,
            '_init',
            originalMethod => {
                return function (...args) {
                    originalMethod.call(this, ...args);

                    // Find and modify the vertical alignment constraint
                    const alignConstraint = this._title.get_constraints().find(
                        c => c.align_axis && c.align_axis === Clutter.AlignAxis.Y_AXIS
                    );
                    if (alignConstraint) {
                        alignConstraint.factor = 0; // 0 = top, 1 = bottom
                    }

                    // Find and modify the Y binding constraint
                    const bindConstraint = this._title.get_constraints().find(
                        c => c.coordinate && c.coordinate === Clutter.BindCoordinate.Y
                    );
                    if (bindConstraint) {
                        bindConstraint.offset = 0; // Remove vertical offset
                    }
                };
            }
        );

        // Adjust the overlay offsets to flip title position
        this._injectionManager.overrideMethod(
            WindowPreview.prototype,
            '_adjustOverlayOffsets',
            originalMethod => {
                return function (...args) {
                    originalMethod.call(this, ...args);
                    // Flip the vertical translation to position above window
                    if (this._title) {
                        this._title.translation_y = -this._title.translation_y;
                    }
                };
            }
        );
    }

    disable() {
        this._injectionManager.clear();
        global.stage.queue_relayout();
    }
}