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     : unit
  36   end;;
  37
  38 val setcursor : cursor -> unit;;
  39 val settitle : string -> unit;;
  40 val swapb : unit -> unit;;
  41 val readresp : Unix.file_descr -> unit;;
  42 val init : t -> int -> int -> int
  43            -> Utils.platform -> Unix.file_descr * int * int;;
  44 val fullscreen : unit -> unit;;
  45 val reshape : int -> int -> unit;;
  46 val activatewin : unit -> unit;;
  47 val mapwin : unit -> unit;;
  48 val withalt : int -> bool;;
  49 val withctrl : int -> bool;;
  50 val withshift : int -> bool;;
  51 val withmeta : int -> bool;;
  52 val withnone : int -> bool;;
  53 val metamask : int;;
  54 val altmask : int;;
  55 val shiftmask : int;;
  56 val ctrlmask : int;;
  57 val keyname : int -> string;;
  58 val namekey : string -> int;;
  59 val setwinbgcol : int -> unit;;
  60 val keypadtodigitkey : int -> int;;
  61 val isspecialkey : int -> bool;;
  62 val kc2pv : int -> Keys.pv;;