diff options
author | Jeffas <dev@jeffas.io> | 2019-09-16 17:39:03 +0100 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2019-09-18 19:20:49 -0400 |
commit | 0ce1d42bda406a1d7c83df462206f435a841a809 (patch) | |
tree | 97f053d77c16459c52cfb18370136c2ed7d1c90e /lib/uidstore | |
parent | 956f1366a538f4cbd0f300083871196c4c759d44 (diff) | |
download | aerc-0ce1d42bda406a1d7c83df462206f435a841a809.tar.gz |
Focus new tab after remove
After removing a tab we should focus the newly selected tab if it is Interactive. This ensures things like the terminal get drawn properly.
Diffstat (limited to 'lib/uidstore')
0 files changed, 0 insertions, 0 deletions