[plt-dev] Release for v4.2.1 is about to begin

Thanks.
Jos

----- Original Message ----- 
From: "Robby Findler" <robby at eecs.northwestern.edu>
To: "Jos Koot" <jos.koot at telefonica.net>
Cc: "Eli Barzilay" <eli at barzilay.org>; <plt-dev at list.cs.brown.edu>
Sent: Wednesday, July 01, 2009 8:25 PM
Subject: Re: [plt-dev] Release for v4.2.1 is about to begin


On Wed, Jul 1, 2009 at 12:46 PM, Jos Koot<jos.koot at telefonica.net> wrote:
> Two wishes (low priority AFAIAC)
>
> 1
> Making parameters for x-spacing and y-spacing in redex/private/traces.ss.

Done.

> 2
> When in a traces gui an arrow makes a small incoming angle with the vertical
> or horizontal edge of a text-box, the arrowhead is not shown.

Believe it or not, this is done intentionally. Specifically, if any of
the "corners" of the arrowhead are overlapping with the box at either
end of the arrow, the arrowhead is not drawn.

Robby

> Can this be fixed? I looked into the code myself, but cannot easily find a
> reason why the arrowhead sometimes is not shown.
>
> Jos
>