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, [email protected] wrote: > 8357629 Robby Findler <[email protected]> 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! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
