Thanks.
Jos
----- Original Message -----
From: "Robby Findler" <ro...@eecs.northwestern.edu>
To: "Jos Koot" <jos.k...@telefonica.net>
Cc: "Eli Barzilay" <e...@barzilay.org>; <plt-dev@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.k...@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
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
