Theia: [terminal] Not useable after dragging into a different tab folder

[AlexTugarev]

It seems the terminal sometimes doesn't draw any updates after dragging into a different tab folder.

[akosyakov]

@AlexTugarev after merging latest xterm?

[AlexTugarev]

@akosyakov, nope. that issues existed before, demoed state of commit https://github.com/theia-ide/theia/commit/fed4e73be859e1ff9694e8e5cb985b16c57e139f

[pdrd]

We are experiencing the same behaviour. No customizations, only a package.json with several @theia-plugins all with 'latest' version and default build config. No log output. Browser is latest Google Chrome.
It's also reproducible on gitpod.io, when you drag around a terminal.

Any clues how to address this issue? It looks like a missing redraw call to the widget, because after a page reload the terminal content reappears, but my knowledge about the widget/plugin system is not sufficient to find the buggy code section.

[lmcbout]

This issue still exist with Theia 0.4.0. Until I restart the client, the terminal is not usable and does not display the data already typed in the terminal.

[akosyakov]

It's a bug in xterm: https://github.com/xtermjs/xterm.js/commit/69d3a4667f6d3ade4a89e71be066de0e69d82d16

It was fixed in 3.12.0. We need to upgrade xterm to pick it up.