Focus REPL panel on click

[byorgey]

Closes #1486.

I'm not entirely sure I understand why this is necessary but it seems like for anything with a brick viewport it's not enough to just rely on wrapping it in clickable. We have to actually set their focus explicitly depending on the identity of the clicked viewport.

[xsebek]

Thanks for fixing this @byorgey. 👍 I read this code but it did not occur to me it was missing a line for REPL.

Perhaps this should be mentioned in the brick documentation.
Or it's a bug and clickable should apply through viewport.

[byorgey]

Perhaps this should be mentioned in the brick documentation.
Or it's a bug and clickable should apply through viewport.

I'm really not sure! Maybe someone should try to make a minimal example in order to ask about it on the brick issue tracker. But I don't think I have the motivation to do that.

[xsebek]

@byorgey on further thought, maybe this is correct.

If you have a clickable named widget and inside it another named widget, then the name in event will be the inner one.

Maybe the other panels just don't have inner named widgets.