Fix for a focus bug where a terminal tab will not get the focus sometimes in a split situation when another tab is closed.
Fix for a focus bug where a terminal tab will not get the focus sometimes in a split situation when another tab is closed.

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm