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).
I think We could use search addon from xterm.js and implement this feature.
Will be closeable by https://github.com/eclipse-theia/theia/pull/5471
Most helpful comment
I think We could use search addon from xterm.js and implement this feature.