window.open_file should bring newly focused window forward (os x)

The python api provides a Window method called open_file which either creates a new tab for a given file path or focuses an existing tab if the file is already open.

This works as advertised when called on the currently active window. However when called on an inactive window it will focus the new view for text input but will not bring the window to the front. As a result your keystrokes are now editing a buffer that may be entirely hidden behind other windows.

It's unclear to me whether this is a mac-specific bug, but maybe there's a missing makeKeyAndOrderFront: call in the objective c code somewhere?