LavaUI docs

message PanelArea

Control plane

message PanelArea

Whether anything is in the way of a panel.

What it answers is "is the strip I occupy clear of windows right now", which is the whole question an auto-hiding dock has and the only one it cannot answer for itself: a client knows where it is and nothing about what is in front of it.

idl/lava.npidl:544

Fields

covered: boolean

True when a window on the current workspace overlaps the panel's own rectangle. Minimized windows and other panels do not count — nor does a window on another workspace, which is not on screen to be in the way.

idl/lava.npidl:550

serial: u32

Monotonic. Echoed in PanelAreaAck, like WindowList.serial.

idl/lava.npidl:546