From 12b6408887c7ec4283dba66f889b6ab9504f33b1 Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 12 Jun 2018 08:38:49 +0300 Subject: [PATCH] Cosmetics (WIP) --- ffi.ml | 6 +++--- genconfstr.sh | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/ffi.ml b/ffi.ml index 00e10ff..b073eaa 100644 --- a/ffi.ml +++ b/ffi.ml @@ -7,15 +7,15 @@ external init : Unix.file_descr -> initparams -> unit = "ml_init";; external seltext : opaque -> (int * int * int * int) -> unit = "ml_seltext";; external hassel : opaque -> bool = "ml_hassel";; external getpdimrect : int -> float array = "ml_getpdimrect";; -external whatsunder : opaque -> int -> int -> under = "ml_whatsunder";; -external markunder : opaque -> int -> int -> mark -> bool = "ml_markunder";; +external whatsunder : opaque -> x -> y -> under = "ml_whatsunder";; +external markunder : opaque -> x -> y -> mark -> bool = "ml_markunder";; external clearmark : opaque -> unit = "ml_clearmark";; external zoomforh : int -> int -> int -> int -> float = "ml_zoom_for_height";; external getmaxw : unit -> float = "ml_getmaxw";; external postprocess : opaque -> int -> int -> int -> (int * string * int) -> int = "ml_postprocess";; -external pagebbox : opaque -> (int * int * int * int) = "ml_getpagebox";; +external pagebbox : opaque -> bbox = "ml_getpagebox";; external setaalevel : int -> unit = "ml_setaalevel";; external realloctexts : int -> bool = "ml_realloctexts";; external findlink : opaque -> linkdir -> link = "ml_findlink";; diff --git a/genconfstr.sh b/genconfstr.sh index 1ebcc05..e4472d9 100644 --- a/genconfstr.sh +++ b/genconfstr.sh @@ -7,6 +7,7 @@ type rgb = float * float * float type rgba = float * float * float * float type fitmodel = | FitWidth | FitProportional | FitPage type irect = (int * int * int * int) +and bbox = irect type colorspace = | Rgb | Gray type keymap = | KMinsrt of key | KMinsrl of key list | KMmulti of key list * key list -- 2.11.4.GIT