package brr
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=45cdf73c6a23c8fc4609a32ae2196d4790e5bdba34ca0b784bff9c0b70dab233eb336f1c11dc3002451042ff4cf25b643098ad0d011f14c3d6175842113bed21
doc/brr/Brr/Window/index.html
Module Brr.WindowSource
Window objects.
Some of the objects and methods that are accessed from Window objects are in other modules:
scroll_x w is the number of (sub)pixels the window is horizontally scrolled by.
scroll_y w is the number of (sub)pixels the window is vertically scrolled by.
inner_width w is the interior width of the window in CSS pixels, including the width of the vertical scroll bar, if present.
inner_height w is the interior height of the window in CSS pixels, including the height of the horizontal scroll bar, if present.
parent w is the parent of the window, if it has one.
When a window is loaded in an <iframe>, <object>, or <frame>, its parent is the window with the element embedding the window.
Media properties
device_pixel_ratio w is the ratio between physical and CSS pixels. A value of 2. indicates that two physical pixels are used to draw a single CSS pixel.
matches_media w mq is true if the media query mq matches. See Window.matchMedia.
prefers_dark_scheme w is true if the "(prefers-color-scheme: dark)" media query matches.
Operations
open' w url ~name ~features loads the specified resource url into a new or existing browsing context with the specified name and window features. None is returned if the window could not be opened.
print w opens the print dialog to print the window document.
Location and history
location w is the window's location.
Note we do not bind the Location object, everything you need can be done with Uri, set_location, reload and possibly History.