Re: [plt] Push #25091: master branch updated

On 2012-07-26 20:07:16 -0400, robby@... wrote:
> 9356e8e Robby Findler <robby@...> 2012-07-26 18:58
> :
> | try out Asumu's suggestion, namely if there is a keyboard event,
> | then hide the definitions/interactions labels for a while (2
> | seconds currently). also, when the 2 seconds expires, fade back
> | in instead of just appearing immediately
> :

Thanks, I like it. :)

Cheers,
Asumu
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev