switching tabs (via mouse ) seems to unfocus the actual terminal .