[m-rev.] diff/review: deep profiler enhancements

[Thomas Conway]

On Tue, Jul 03, 2001 at 07:46:42PM EST, Zoltan Somogyi wrote:
> On 03-Jul-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > There should be some comments here - at very least copy the comments
> > about this file from the log message.
> 
> I will add not just this comment but many others next week. I wanted to commit
> this stuff today.
> 
> > It would be nice to have a couple of comments here indicating what colors
> > these are, e.g.
> > 
> > 	even_background = "rgb(255, 255, 240)". % light magenta
> > 	odd_background =  "rgb(240, 240, 255)". % hot pink
> > 
> > (except that I made up those colors names without regard to the rgb values).
> 
> Tom gave me the rgb values. I can't even tell what colour they are, because
> they don't display on miles.
> 

They are a pale yellow and a pale blue respectively.

-- 
  Thomas Conway )O+
 <conway at cs.mu.oz.au>       499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------