From a524a74ba6585e536806582c030c411be33392e3 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 5 May 2014 17:24:22 -0400 Subject: [PATCH] Fix contract for pin-arrow-label-line and friends --- pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt b/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt index 4d1fb37247..57a1a26d37 100644 --- a/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt +++ b/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt @@ -381,6 +381,7 @@ #:color (or/c #f string? (is-a?/c color%)) #:style pen-style/c #:alpha (real-in 0 1) + #:solid? any/c #:under? any/c #:hide-arrowhead? any/c #:x-adjust real? #:y-adjust real?] pict?))