package oxbow
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=a637acaa0e19046cd65fff733874eb97
sha512=76230cbecd7510de7a05b5d1f335915ef7b6c4aa557d8dbfd23591606618d2cfa25082d17b93f2f4b53a118d1cbf6a80e4ad51cf0f099b4921fb83d6df0c9801
doc/oxbow.state/Oxbow_state/Window/index.html
Module Oxbow_state.WindowSource
include module type of Types.Window
type t = {obj : Wire.Obj.Window_management.Window.t;node : Wire.Obj.Window_management.Node.t;mutable lifecycle : Lifecycle.t;id : int;mutable app_id : string option;mutable title : string option;mutable identifier : string option;mutable unreliable_pid : int32 option;mutable parent : t option;mutable float_seed_pending : bool;mutable close_pending : bool;mutable decoration_hint : Decoration_hint.t option;mutable presentation_hint : Wire.Presentation_mode.t option;mutable defense : Defense.t;mutable geom : int32 Oxbow_core.Rect.t;mutable float_rel : int32 Oxbow_core.Rect.t option;mutable clip : ([ `Scrolling | `Overview ] * int Oxbow_core.Rect.t) option;mutable offscreen : bool;mutable size_hints : int32 option Size_hints.t;mutable output : Types.Output.t option;mutable output_before_evac : string option;mutable sticky : Oxbow_core.Sticky.t;swallow : Swallow.t;mutable labels : string list;mutable is_fixed : bool;mutable is_urgent : bool;mutable is_captured : bool;mutable is_fake_fullscreen : bool;scrolling : Scrolling_props.t;scratchpad : Scratchpad_props.t;committed : Committed.t;mutable presentation : Presentation.t;mutable requests : Request.t list;
}val create :
Types.Output.t option ->
Oxbow_core.Width_fac.t ->
Wire.Obj.Window_management.Window.t ->
tcreate wm output river_window is a unique window.
destroy window destroys the Wayland objects backing window. No-op (with a warning) when window's lifecycle isn't Closing.
set_position window ~x ~y positions window at (x, y).
Effects: mutates WM state
set_geom window geom updates window's geometry to geom.
Effects: mutates WM state
set_defense window d updates window's defense state to d.
Effects: mutates WM state
set_proposed window dims updates window's proposed dimensions to dims.
Effects: mutates WM state
push_in_flight window dims records the proposed dims not yet echoed.
Effects: mutates WM state
consume_in_flight window ~width ~height is true when the size matches an entry. Entries older than the newest match drop; the match stays (one proposal can produce the same report more than once). On false the list clears.
Effects: mutates WM state
set_fullscreen_on window output updates window's fullscreen output.
Effects: mutates WM state
set_clip window clip updates window's clip mask to clip.
Effects: mutates WM state
val set_clip_within :
t ->
tag:[ `Scrolling | `Overview ] ->
bw:int ->
bound:int Oxbow_core.Rect.t option ->
unitset_clip_within window ~tag ~bw ~bound sets window's clip to according to tag when window intersets with bound.
Effects: mutates WM state
set_offscreen window v marks window outside the viewport in scrolling layouts.
Effects: mutates WM state
reject_dimensions window ~width ~height records a client size report that does not match the layout. At most one bounce starts per distinct size.
Effects: mutates WM state
on_tags window ~tags is true when window's tags intersect with tags.
occupied_tags ?except windows is the union of the tags of windows. The tags of except do not count.
tag_visible window is true if window's output is in overview mode or window's tags intersect its output's selected tags. Is false otherwise. A stashed scratchpad is never tag-visible.
is_tiled_or_floating window is true when window is tiled or floating.
scroll_clipped w is true when w has a `Scrolling clip, is tiled and the layout of w's output is Scrolling.
floats w o is true when w renders as a floating window on o. A window renders as floating when its presentation is Floating, or it is tiled and the layout of o is Floating.
is_tiled_on_tag window is tag_visible window && is_tiled window
can_swallow window is true when window is able to swallow its child.
fit_to_output window repositions and resizes window to fit on the output it is displayed on.
Effects: mutates WM state
remember_float window saves window's current geometry to restore when window transitions to the floating state.
Effects: mutates WM state
restore_float window places window at its remembered float on its current output. If window has no remembered float, it seeds at half the usable area, centered. The seed is then the remembered float.
Effects: mutates WM state
center_float window centers window's current dimensions in the usable area and records the result.
Effects: mutates WM state
clamp window geom is geom clamped to window's size hints, if any. Converts to int32 rect
clamp32 window geom is clamp but takes an int32 Rect.t.
set_float_seed_pending window pending sets window's pending float seed flag to pending.
Effects: mutates WM state
is_fullscreen window is true if window is fullscreen, false otherwise.
fullscreen ?force window makes window fullscreen.
Effects: mutates WM state
exit_fullscreen window exit fullscreen and restore window to previous presentation states.
Effects: mutates WM state
is_rendered ?fullscreen window is true when all of the following are true:
tag_visible windowistruewindowis not covered by a fullscreen window (windowmay be occluded by a non-fullscreen window.)window's output is in theScrollinglayout andwindowis within output's scrolling viewport
fullscreen states that the output holds a visible fullscreen window. When absent, is_rendered scans the focus stack.
queue_request window request adds request to window's request queue.
Effects: mutates WM state
clear_requests window clears window's request queue.
Effects: mutates WM state
at_point ~x ~y lst returns the first window in lst that is visible (per tag_visible) and whose geom rectangle contains the point (x, y), or None if none does.
fake_fullscreen window puts the window into the fake fullscreen state.
Effects: mutates WM state
exit_fake_fullscreen window exits the fake fullscreen state for window.
Effects: mutates WM state
maximize ?restore window informs window it is maximized. Saves the previous presentation state or restore if present. No-op when window is fullscreen.
Effects: mutates WM state
unmaximize window informs window it is unmaximized and restores window to its previous presentation.
Effects: mutates WM state
move_to window ~x ~y moves window according to the extents ~x and ~y.
Effects: mutates WM state
move_spatial window dir by moves window in dir according to by extent.
Effects: mutates WM state
resize_to window ~width ~height resizes window according to the extents ~width and ~height.
Effects: mutates WM state
resize_spatial window dir by resizes window in dir according to by extent.
Effects: mutates WM state
set_tags window tags sets window's tags to tags.
Effects: mutates WM state
set_consumes window v sets the consumes chain-bit on window to v.
Effects: mutates WM state
set_scroll_width window v sets the scroll-width override on window to v.
Effects: mutates WM state
set_output window output sets window's output to output. Setting None records the current output's name if none has been recorded previously.
Effects: mutates WM state
set_presentation window presentation sets window's presentation to presentation.
Effects: mutates WM state
set_is_urgent window is_urgent sets window's urgent status to is_urgent.
Effects: mutates WM state
set_is_captured window is_captured sets window's captured status to is_captured.
Effects: mutates WM state
set_lifecycle window lifecycle sets window's lifecycle to lifecycle.
Effects: mutates WM state
set_title window title sets window's title to title.
Effects: mutates WM state
set_app_id window app_id sets window's app id to app_id.
Effects: mutates WM state
set_identifier window identifier sets window's identifier to identifier.
Effects: mutates WM state
set_unreliable_pid window unreliable_pid sets window's (unreliable) process id to unreliable_pid.
Effects: mutates WM state
set_parent window ~parent sets window's parent as parent.
Effects: mutates WM state
set_close_pending window pending sets window's pending close flag to pending.
Effects: mutates WM state
set_decoration_hint window hint sets window's decoration hint to hint.
Effects: mutates WM state
set_presentation_hint window hint sets window's presentation mode to hint.
Effects: mutates WM state
set_size_hints window size_hints sets window's size hints to size_hints.
Effects: mutates WM state
set_sticky window scope sets window's sticky scope to scope.
Effects: mutates WM state
add_label window label adds label to window's label set. No-op when the label is present.
Effects: mutates WM state
remove_label window label removes label from window's label set. No-op when label is absent.
Effects: mutates WM state
set_swallow_role window v updates window's swallow value to v.
Effects: mutates WM state
set_swallow_relation window o updates window's swallow relation to o.
Effects: mutates WM state
swallow ~host ~child sets Swallowing host on child and Swallowed_by child on host.
Effects: mutate WM state
set_is_fixed window is_fixed sets window's fixed status to is_fixed.
Effects: mutates WM state
set_scratchpad window name sets window's scratchpad to name.
Effects: mutates WM state
set_stashed window b sets window's scratchpad stashed status to b.
Effects: mutates WM state
rehome window name queues a request to send window to the output matching name, when window's home output matches name. No-op otherwise.
Effects: mutates WM state
presentation_string window is window's current presentation as one of "tiled", "floating", "maximized", or "fullscreen".
set_informed_fullscreen window state sets window's last sent inform_fullscreen value to state.
Effects: mutates WM state
set_informed_maximized window state sets window's last sent inform_maximized value to state.
Effects: mutates WM state
set_informed_resizing window state sets window's last sent inform_resizing value to state.
Effects: mutates WM state
set_caps window caps sets window's last sent capabilities value to caps.
Effects: mutates WM state
set_tiled_edges window edges sets window's last sent tiled edges value to edges.
Effects: mutates WM state
set_ssd window state sets window's last sent ssd value to state.
Effects: mutates WM state
set_borders window borders sets window's last sent border values to borders.
Effects: mutates WM state
set_shown window shown sets window's last sent shown state to shown.
Effects: mutates WM state
set_committed_position window position sets window's last sent position values to position.
Effects: mutates WM state
set_clip_box window clip_box sets window's last sent clip box values to clip_box.
Effects: mutates WM state