Robby Findler 2253e90479 fix blubox / lock coordinate computation ... when the blue box doesn't fit in the visible region in one direction (either x or y) but does fit in the other region, then it was being drawn in the wrong place This code is still sub-optimal, since it isn't leaving space for the words underneath the lock in the case the lock is near the bottom of the visible region, but it seems better to just let that be invisible rather than make the lock float a bit in that case. closes PR 13142		2012-11-22 11:03:45 -06:00
..
annotate.rkt	add tooltips at the start and end of arrows indicating how many references	2012-07-30 21:46:22 -05:00
blueboxes-gui.rkt	fix blubox / lock coordinate computation	2012-11-22 11:03:45 -06:00
colors.rkt
contract-traversal.rkt	adjust the contract obligation aspect of check syntax	2012-07-17 13:07:41 -05:00
gui.rkt	make the f2 button go find the definitions text,	2012-11-22 10:10:21 -06:00
intf.rkt	fix annotations-mixin for new syncheck interface	2012-08-12 15:50:56 -05:00
local-member-names.rkt	Big newline at EOF scan.	2012-02-29 00:28:11 -05:00
online-comp.rkt	streamline the objects that are sent across the channel from	2012-10-31 16:52:44 -05:00
traversals.rkt	Adjust online check syntax's trace replay code so that it:	2012-10-26 21:49:45 -05:00
xref.rkt	Add the contents of the "blue boxes" in the docs to the upper-right	2012-08-12 08:41:46 -05:00