[racket-dev] [plt] Push #25091: master branch updated

On 2012-07-26 20:07:16 -0400, robby at racket-lang.org wrote:
> 9356e8e Robby Findler <robby at racket-lang.org> 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