Theia: Can't search Theia's Terminal

Created on 4 Jan 2019  路  3Comments  路  Source: eclipse-theia/theia

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).

enhancement terminal
Source
picture jankeromnes
❤1

Most helpful comment

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

picture AndrienkoAleksandr on 4 Jan 2019
👍4

All 3 comments

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

AndrienkoAleksandr picture AndrienkoAleksandr on 4 Jan 2019
👍4

Will be closeable by https://github.com/eclipse-theia/theia/pull/5471

vince-fugnitto picture vince-fugnitto on 30 Jan 2020

Closed by https://github.com/eclipse-theia/theia/pull/5471

vince-fugnitto picture vince-fugnitto on 26 Feb 2020
Was this page helpful?
0 / 5 - 0 ratings

Related issues

cekvenich picture cekvenich  路  3Comments
vince-fugnitto picture vince-fugnitto  路  3Comments
kpge picture kpge  路  3Comments
akosyakov picture akosyakov  路  3Comments
fangnx picture fangnx  路  3Comments