Module Useri_jsoo.Surface

module Surface: sig .. end

Surface mode

`Fullscreen mode uses JavaScript's Fullscreen API and applies it to the document element rather than the surface itself. This is the most flexible as it allows you to keep surrounding elements around the surface or hide them using the CSS fullscreen pseudo-class.

Surface specification

Take into account the following points:

• The pos argument of Useri.Surface.create is ignored.
• If the size argument is unspecified. The surface's size is not set explicitely but inherited from the document itself (e.g. through CSS).

Surface properties updates

Browser lack the ability to detect element bounding box changes as such Useri.Surface.pos, Useri.Surface.raster_size and Useri.Surface.size only get updated, if needed, on Useri.Surface.mode changes and window resizes. If that doesn't handle all your needs you can call Useri_jsoo.Surface.request_sync_props to request the surface properties to be synchronized.

val request_sync_props : unit -> unit

val size_mm : Gg.size2 React.signal

Handle

module Handle: sig .. end