[racket-dev] [plt] Push #22821: master branch updated
There isn't really a "where it is". The focus goes to the interaction
window unless there's an error with a source in the definitions, in
which case it goes to the definitions window. Things have been doing
that for a _long_ time so I'm reluctant to mess with that.
Robby
On Fri, Jun 17, 2011 at 8:55 PM, Eli Barzilay <eli at barzilay.org> wrote:
> 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!
>