$NetBSD: patch-ag,v 1.1 2006/04/19 13:13:05 tonio Exp $ --- grdev.ml.orig 2004-09-03 17:08:55.000000000 +0200 +++ grdev.ml @@ -429,8 +429,8 @@ let make_funviewport bkgd_data viewport within the background viewport we choose it; otherwise, we choose the center of the background viewport. *) let make_center xcr ycr - ({vx = x; vy = y; vw = w; vh = h} as bgviewport) - ({vx = fx; vy = fy; vw = fw; vh = fh} as funviewport) = + ({vx = x; vy = y; vw = w; vh = h} as _bgviewport) + ({vx = fx; vy = fy; vw = fw; vh = fh} as _funviewport) = let xc = match xcr with | Some xcr -> (* Get the center coordinates integer values in the funviewport. *) @@ -917,7 +917,7 @@ module H = Graphics.set_color (get_color ()) let make_anchors tag all_draw = - let make_anchor draw (x, y as orig) w h voff = + let make_anchor draw (x, y as _orig) w h voff = let anchor = {tag = tag; draw = List.rev draw} in let bw = match tag with @@ -1607,7 +1607,7 @@ let wait_event () = try match H.find ev.mouse_x ev.mouse_y with | {A.action = {H.tag = H.Href h; H.draw = d}} as act -> if ev.button then - let ev' = GraphicsY11.wait_next_event button_up in + let _ev' = GraphicsY11.wait_next_event button_up in send (Href h) else if H.up_to_date act emph then event emph b else begin H.deemphasize true emph;