package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=cdeca72c7ff949cbd0fb4d1e1141e4cf7aa75368db7ced4667dd4404e0fbec2c
sha512=815a0987a184615df39e0acfb912fbdd7ba2a1ae1e65267d9eeac6a63afe9d205c4d3c335b92f770227ecc93cd88f8e65e84328cd3dc17523b5eb42676e032ee
doc/wayland.protocols/Wayland_protocols/Xdg_shell_proto/Xdg_toplevel/State/index.html
Module Xdg_toplevel.StateSource
Types of state on the surface.
The different state values used on the surface. This is designed for state values like maximized, fullscreen. It is paired with the configure event to ensure that both the client and the compositor setting the state can be synchronized.
States set in this way are double-buffered. They will get applied on the next commit.
type t = | Maximized : t(*The surface is maximized.
The surface is maximized. The window geometry specified in the configure event must be obeyed by the client.
The client should draw without shadow or other decoration outside of the window geometry.
*)| Fullscreen : t(*The surface is fullscreen.
The surface is fullscreen. The window geometry specified in the configure event is a maximum; the client cannot resize beyond it. For a surface to cover the whole fullscreened area, the geometry dimensions must be obeyed by the client. For more details, see xdg_toplevel.set_fullscreen.
*)| Resizing : t(*The surface is being resized.
The surface is being resized. The window geometry specified in the configure event is a maximum; the client cannot resize beyond it. Clients that have aspect ratio or cell sizing configuration can use a smaller size, however.
*)| Activated : t(*The surface is now activated.
Client window decorations should be painted as if the window is active. Do not assume this means that the window actually has keyboard or pointer focus.
*)| Tiled_left : t(*The surface’s left edge is tiled.
The window is currently in a tiled layout and the left edge is considered to be adjacent to another part of the tiling grid.
*)| Tiled_right : t(*The surface’s right edge is tiled.
The window is currently in a tiled layout and the right edge is considered to be adjacent to another part of the tiling grid.
*)| Tiled_top : t(*The surface’s top edge is tiled.
The window is currently in a tiled layout and the top edge is considered to be adjacent to another part of the tiling grid.
*)| Tiled_bottom : t(*The surface’s bottom edge is tiled.
The window is currently in a tiled layout and the bottom edge is considered to be adjacent to another part of the tiling grid.
*)