forked from qt-creator/qt-creator
Amends 84155e8354
This change sets the focus also on terminals that get destroyed via exit
or Ctrl+D
Change-Id: I9a96ae5b257f3e8a93db7efb4e7d4468b287c143
Reviewed-by: Marcus Tillmanns <marcus.tillmanns@qt.io>
10 KiB
10 KiB