[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 fed4e73

[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: xtermjs/xterm.js@69d3a46

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