package quill
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=8e277ed56615d388bc69c4333e43d1acd112b5f2d5d352e2453aef223ff59867
sha512=369eda6df6b84b08f92c8957954d107058fb8d3d8374082e074b56f3a139351b3ae6e3a99f2d4a4a2930dd950fd609593467e502368a13ad6217b571382da28c
doc/quill.editor/Quill_editor/Brr_ext/Window/index.html
Module Brr_ext.Window
Source
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
.