[debug console]selected line get lost after scrolling the window

[yeweiasia]

Description

If multi line in debug console were selected and scroll the window, selected line will be unselected when they are become invisible. so select long text from debug console become impossible after scrolling.

Reproduction Steps

OS and Theia version:
theia 0.9.0
ubuntu 18.04

Diagnostics:

[yeweiasia]

this bug also exist in latest version of vscode 1.37.1

[tsmaeder]

The problem here is really that there are two kinds of selection: there is an item selection and there is a text selection. It seem the text selection has no representation in the widget model and thus gets lost when rerendering.
I'm not sure what the right way to go is here: @akosyakov do you have an opinion?

[akosyakov]

I guess we will need to track it somehow in our react widget. I don't think the react virtualized list supports it. Someone can investigate or ask here: https://github.com/bvaughn/react-virtualized

[tsmaeder]

Does it make sense to have two selections?

[akosyakov]

I would need to investigate how to handle is the best. An issue seems to be tricky and I could not find a recommended way to handle in the react virtualized community.

I assume that one selects in order to copy. Maybe we could track selected text during scrolling and register a copy event handler for the debug console which copies the tracked text.