Handler for a proxy with version >= 3.
constraint 'a = [< `V3 | `V4 | `V5 ]
method private virtual on_set_size : [> `V3 | `V4 | `V5 ] t ->
width:int32 ->
height:int32 ->
unitSets the size of the surface.
Sets the size of the surface in surface-local coordinates. The compositor will display the surface centered with respect to its anchors.
If you pass 0 for either value, the compositor will assign it and inform you of the assignment in the configure event. You must set your anchor to opposite edges in the dimensions you omit; not doing so is a protocol error. Both values are 0 by default.
Size is double-buffered, see wl_surface.commit.
method private virtual on_set_anchor : [> `V3 | `V4 | `V5 ] t ->
anchor:{Imports}1.Zwlr_layer_surface_v1.Anchor.t ->
unitConfigures the anchor point of the surface.
Requests that the compositor anchor the surface to the specified edges and corners. If two orthogonal edges are specified (e.g. 'top' and 'left'), then the anchor point will be the intersection of the edges (e.g. the top left corner of the output); otherwise the anchor point will be centered on that edge, or in the center if none is specified.
Anchor is double-buffered, see wl_surface.commit.
method private virtual on_set_exclusive_zone : [> `V3 | `V4 | `V5 ] t ->
zone:int32 ->
unitConfigures the exclusive geometry of this surface.
Requests that the compositor avoids occluding an area with other surfaces. The compositor's use of this information is implementation-dependent - do not assume that this region will not actually be occluded.
A positive value is only meaningful if the surface is anchored to one edge or an edge and both perpendicular edges. If the surface is not anchored, anchored to only two perpendicular edges (a corner), anchored to only two parallel edges or anchored to all edges, a positive value will be treated the same as zero.
A positive zone is the distance from the edge in surface-local coordinates to consider exclusive.
Surfaces that do not wish to have an exclusive zone may instead specify how they should interact with surfaces that do. If set to zero, the surface indicates that it would like to be moved to avoid occluding surfaces with a positive exclusive zone. If set to -1, the surface indicates that it would not like to be moved to accommodate for other surfaces, and the compositor should extend it all the way to the edges it is anchored to.
For example, a panel might set its exclusive zone to 10, so that maximized shell surfaces are not shown on top of it. A notification might set its exclusive zone to 0, so that it is moved to avoid occluding the panel, but shell surfaces are shown underneath it. A wallpaper or lock screen might set their exclusive zone to -1, so that they stretch below or over the panel.
The default value is 0.
Exclusive zone is double-buffered, see wl_surface.commit.
method private virtual on_set_margin : [> `V3 | `V4 | `V5 ] t ->
top:int32 ->
right:int32 ->
bottom:int32 ->
left:int32 ->
unitSets a margin from the anchor point.
Requests that the surface be placed some distance away from the anchor point on the output, in surface-local coordinates. Setting this value for edges you are not anchored to has no effect.
The exclusive zone includes the margin.
Margin is double-buffered, see wl_surface.commit.
method private virtual on_set_keyboard_interactivity : [> `V3 | `V4 | `V5 ] t ->
keyboard_interactivity:
{Imports}1.Zwlr_layer_surface_v1.Keyboard_interactivity.t ->
unitRequests keyboard events.
Set how keyboard events are delivered to this surface. By default, layer shell surfaces do not receive keyboard events; this request can be used to change this.
This setting is inherited by child surfaces set by the get_popup request.
Layer surfaces receive pointer, touch, and tablet events normally. If you do not want to receive them, set the input region on your surface to an empty region.
Keyboard interactivity is double-buffered, see wl_surface.commit.
Assign this layer_surface as an xdg_popup parent.
This assigns an xdg_popup's parent to this layer_surface. This popup should have been created via xdg_surface::get_popup with the parent set to NULL, and this request must be invoked before committing the popup's initial state.
See the documentation of xdg_popup for more details about what an xdg_popup is and how it is used.
Ack a configure event.
When a configure event is received, if a client commits the surface in response to the configure event, then the client must make an ack_configure request sometime before the commit request, passing along the serial of the configure event.
If the client receives multiple configure events before it can respond to one, it only has to ack the last configure event.
A client is not required to commit immediately after sending an ack_configure request - it may even ack_configure several times before its next surface commit.
A client may send multiple ack_configure requests before committing, but only the last request sent before a commit indicates which configure event the client really is responding to.
method private virtual on_destroy : [> `V3 | `V4 | `V5 ] t -> unitDestroy the layer_surface.
This request destroys the layer surface.
method private virtual on_set_layer : [> `V3 | `V4 | `V5 ] t ->
layer:{Imports}1.Zwlr_layer_shell_v1.Layer.t ->
unitChange the layer of the surface.
Change the layer that the surface is rendered on.
Layer is double-buffered, see wl_surface.commit.
method private virtual on_set_exclusive_edge : [> `V5 ] t ->
edge:{Imports}1.Zwlr_layer_surface_v1.Anchor.t ->
unitSet the edge the exclusive zone will be applied to.
Requests an edge for the exclusive zone to apply. The exclusive edge will be automatically deduced from anchor points when possible, but when the surface is anchored to a corner, it will be necessary to set it explicitly to disambiguate, as it is not possible to deduce which one of the two corner edges should be used.
The edge must be one the surface is anchored to, otherwise the invalid_exclusive_edge protocol error will be raised.
method min_version : int32