Preservar seleção e busca ao voltar ao terminal

O que mudouseleção, busca e posição do histórico permanecem ao esconder e reabrir um terminal com o mesmo tamanho, inclusive após a 1ª medição ao voltar.

Onde ficanos terminais ao alternar workspace ou missão e ao expandir outro pane.

Como testar

1. Selecione texto no terminal, alterne para outro workspace e volte sem alterar o tamanho da janelaResultadoa seleção permanece sobre o mesmo texto, inclusive após o layout terminar de medir o terminal.
2. Abra a busca, digite um termo, avance para um resultado e alterne de workspaceResultadoao voltar, o termo e o resultado ativo permanecem.
3. Role o histórico, expanda outro pane e volteResultadoo conteúdo e a posição do histórico permanecem.
4. Selecione texto e altere o tamanho do terminal até mudar a quantidade de colunas ou linhasResultadoa seleção é limpa para não marcar texto deslocado pelo redimensionamento.
5. Feche o pane e abra uma nova sessãoResultadoa nova sessão começa sem a seleção ou busca da anterior.