package brr
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=49e7bfbad2ea6a0139354e4a33c59c8a113c4c1e20a4f629bc5cad24aa801e474b4af10ce35adbda5d23dd294d1de5efa5b10bb3030d03f4758459977250a0f6
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 height 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.