Can't search Theia's Terminal

[jankeromnes]

Thanks a lot for making an amazing web-based IDE! 👍

I have one small issue with it: I can't search for text in the Terminal.

This is somewhat of a blocker for me, because I'm trying to debug very verbose compilation logs, that have a lot of noise and a few relevant lines containing the word "error". (Additionally, the scrollback seems very limited, but I'll have a look in Theia's preferences to try and make the scrollback infinite.)

I've also tried using Cmd+F, but in-page browser search seems to ignore the Terminal entirely (in Firefox at least).

[AndrienkoAleksandr]

I think We could use search addon from xterm.js and implement this feature.

[vince-fugnitto]

Will be closeable by #5471

[vince-fugnitto]

Closed by #5471