wsi.mli

   1 type cursor =
   2   | CURSOR_INHERIT
   3   | CURSOR_INFO
   4   | CURSOR_CYCLE
   5   | CURSOR_FLEUR
   6   | CURSOR_TEXT
   7 ;;
   8
   9 type winstate =
  10   | MaxVert
  11   | MaxHorz
  12   | Fullscreen
  13 ;;
  14
  15 type visiblestate =
  16   | Unobscured
  17   | PartiallyObscured
  18   | FullyObscured
  19 ;;
  20
  21 class type t =
  22   object
  23     method display  : unit
  24     method map      : bool -> unit
  25     method expose   : unit
  26     method visible  : visiblestate -> unit
  27     method reshape  : int -> int -> unit
  28     method mouse    : int -> bool -> int -> int -> int -> unit
  29     method motion   : int -> int -> unit
  30     method pmotion  : int -> int -> unit
  31     method key      : int -> int -> unit
  32     method enter    : int -> int -> unit
  33     method leave    : unit
  34     method winstate : winstate list -> unit
  35     method quit     : 'a. 'a
  36     method scroll   : int -> int -> unit
  37     method zoom     : float -> int -> int -> unit
  38     method opendoc  : string -> unit
  39   end;;
  40
  41 val setcursor : cursor -> unit;;
  42 val settitle : string -> unit;;
  43 val swapb : unit -> unit;;
  44 val readresp : Unix.file_descr -> unit;;
  45 val init : t -> int -> int -> int
  46            -> Utils.platform -> Unix.file_descr * int * int;;
  47 val fullscreen : unit -> unit;;
  48 val reshape : int -> int -> unit;;
  49 val activatewin : unit -> unit;;
  50 val mapwin : unit -> unit;;
  51 val withalt : int -> bool;;
  52 val withctrl : int -> bool;;
  53 val withshift : int -> bool;;
  54 val withmeta : int -> bool;;
  55 val withnone : int -> bool;;
  56 val metamask : int;;
  57 val altmask : int;;
  58 val shiftmask : int;;
  59 val ctrlmask : int;;
  60 val keyname : int -> string;;
  61 val namekey : string -> int;;
  62 val fontsizefactor : unit -> int;;
  63 val kc2kt : int -> Keys.t;;