aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJeffas <dev@jeffas.io>2019-09-16 17:39:03 +0100
committerDrew DeVault <sir@cmpwn.com>2019-09-18 19:20:49 -0400
commit0ce1d42bda406a1d7c83df462206f435a841a809 (patch)
tree97f053d77c16459c52cfb18370136c2ed7d1c90e /doc
parent956f1366a538f4cbd0f300083871196c4c759d44 (diff)
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 'doc')
0 files changed, 0 insertions, 0 deletions