package gr

  1. Overview
  2. Docs

Module Gr.WorkstationSource

Sourcetype id
Sourceval wid : int -> id
Sourceval open_ : id -> string -> workstation_type -> unit
Sourceval close : id -> unit
Sourceval activate : id -> unit
Sourceval deactivate : id -> unit
Sourceval clear : unit -> unit
Sourceval update : unit -> unit
Sourceval set_window : float -> float -> float -> float -> unit

set_window xmin xmax ymin ymax sets the area of the NDC viewport that is to be drawn in the workstation window.

This function defines the rectangular area of the Normalized Device Coordinate space to be output to the device. By default, the workstation transformation will map the range 0,1 x 0,1 in NDC onto the largest square on the workstation’s display surface. The aspect ratio of the workstation window is maintained at 1 to 1.

Parameters xmin: The left horizontal coordinate of the workstation window (0 <= xmin < xmax). xmax: The right horizontal coordinate of the workstation window (xmin < xmax <= 1). ymin: The bottom vertical coordinate of the workstation window (0 <= ymin < ymax). ymax: The top vertical coordinate of the workstation window (ymin < ymax <= 1).

Sourceval set_viewport : float -> float -> float -> float -> unit

set_viewport xmin xmax ymin ymax defines the size of the workstation graphics window in meters.

This function places a workstation window on the display of the specified size in meters. This command allows the workstation window to be accurately sized for a display or hardcopy device, and is often useful for sizing graphs for desktop publishing applications.

Parameters xmin: The left horizontal coordinate of the workstation window. xmax: The right horizontal coordinate of the workstation window. ymin: The bottom vertical coordinate of the workstation window. ymax: The top vertical coordinate of the workstation window.

Sourceval copy_segment : segment -> unit
Sourceval redraw_segment : unit -> unit