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

I'd hope for this to go the other way -- for the focus to remain where
it is.  (But I'd say the same on the behavior when both windows are
visible too, and the focus is in the interactions -- I'd like it to
show the highlighted error in that case, but keep the focus in the
interactions.)


Earlier today, robby at racket-lang.org wrote:
> 8357629 Robby Findler <robby at racket-lang.org> 2011-06-17 11:13:11 +0800
> :
> | if we're highlighting something in the defs window, make sure the
> | window is shown
> |   closes PR 11977
> :
>   M collects/drracket/private/rep.rkt |    8 ++++++++

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!