package tiny_appkits

  1. Overview
  2. Docs
package tiny_appkits
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cad_sessionSource

Sourcetype view = {
  1. center : pt;
  2. upp : float;
  3. w : float;
  4. h : float;
}
Sourcetype input =
  1. | Text of string
  2. | Pick of pt
  3. | Cancel
Sourcetype want =
  1. | Idle
  2. | Point
  3. | Objects
  4. | Other
Sourcetype io =
  1. | Save of string * string
  2. | Load of string
Sourcetype t
Sourceval start : Cad_drawing.t -> view -> t
Sourceval drawing : t -> Cad_drawing.t
Sourceval view : t -> view
Sourceval resize : float -> float -> t -> t
Sourceval input : ?cursor:pt -> t -> input -> t
Sourceval command : string -> t -> t
Sourceval zoom_extents : t -> t
Sourceval prompt : t -> string
Sourceval wants : t -> want
Sourceval anchor : t -> pt option
Sourceval log : t -> string list
Sourceval preview : t -> pt -> Cad_drawing.entity list
Sourceval selected : t -> int list
Sourceval selection_box : t -> pt -> (pt * pt * bool) option
Sourceval io : t -> io option
Sourceval loaded : string -> string option -> t -> t
Sourceval running : t -> string option