Como copiar alguma parte da saída do log do winedt?

Como copiar alguma parte da saída do log do winedt?

Winedt mostra a saída do console na seção inferior da janela. Gostaria de copiar uma determinada parte dele (digamos, colá-lo como uma string de pesquisa do Google no meu navegador). Como faço isso? Posso selecionar uma linha inteira de cada vez (seria melhor poder selecionar um trecho de texto, mas não importa), mas não consigo copiar esta linha, CTRL+ cnão funciona (Windows 10, Winedt 10.3).

informação relacionada