# # patch "ocaml.m4" # from [ec43df3f629049753f8f617e3b2702a9161ae48b] # to [253bd36251f268f569417ac120658673a332e1e8] # # patch "view.ml" # from [8eedf028bdba7f8651a52f74647f88cd6bd75bac] # to [8530e1ccdff030237d2f603185d8335450bd0547] # --- ocaml.m4 +++ ocaml.m4 @@ -1,6 +1,6 @@ dnl -*- autoconf -*- macros for OCaml dnl by Olivier Andrieu -dnl from a configure.in by Jean-Christophe Filliâtre, +dnl from a configure.in by Jean-Christophe Filliâtre, dnl from a first script by Georges Mariano dnl dnl defines AC_PROG_OCAML that will check the OCaml compiler --- view.ml +++ view.ml @@ -713,11 +713,7 @@ else GnoCanvas.rect ~x1:(~-. x) ~y1:(~-. y) ~x2:x ~y2:y ~props g in if node.c_kind = DISAPPROVE - then - begin - let sqrt2_2 = sqrt 2. /. 2. in - rect#affine_relative [| sqrt2_2 ; sqrt2_2 ; sqrt2_2 ; ~-. sqrt2_2 ; 0. ; 0. |] - end ; + then rect#affine_relative [| 0.5 ; 0.5 ; 0.5 ; -0.5 ; 0. ; 0. |] ; if node.c_kind = REGULAR || node.c_kind = NEIGHBOUR then begin let scaled_font_size = font_size *. v.canvas.ppu in