package quill
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=93abc49d075a1754442ccf495645bc4fdc83e4c66391ec8aca8fa15d2b4f44d2
sha512=5eb958c51f30ae46abded4c96f48d1825f79c7ce03f975f9a6237cdfed0d62c0b4a0774296694def391573d849d1f869919c49008acffca95946b818ad325f6f
doc/quill.browser/Quill_browser/Brr_ext/Window/index.html
Module Brr_ext.WindowSource
include module type of struct include Brr.Window end
The type for Window objects. See G.window for the global window object.
as_target w is the window as an event target.
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.
Browser history.
get_selection window gets the selection object for the given window.