Claudius.Screen
Information about the display that can be accessed from the running code to work out screen size etc. The screen represents the window in which things will be drawn.
create font width height scale palette
Creates a new screen of the specified size width
x height
, and it will be rendered in a window scaled up by the scale
factor provided. The framebuffers used when running will be indexed into the palette
provided here. Raises Invalid_argument
if the dimensions or scale are either zero or negative. If no font
is provided then a default font is used.
update screen new_palette
creates a new screen with updated palette and marks the screen as dirty.
create width height scale font palette
Deprecated: now use create with the optional font.
val dimensions : t -> int * int
dimensions screen
Returns the width and height of the screen
.
val scale : t -> int
scale screen
Returns the scaling factor used when drawing screen
to a window.
font screen
Returns the font associated with the screen
if one was provided, or None
otherwise.
val is_dirty : t -> bool
is_dirty screen
returns true
if the screen is marked as dirty (needing redraw).
val clear_dirty : t -> unit
clear_dirty screen
returns a new screen with the dirty flag cleared.