selection problem in integrated terminal

[weinand]

for #6654:

• VSCode Version: 1.1.0 alpha
• OS Version: Window 10

When selecting lines of text in the integrated terminal, if you drag the mouse below the bottom of the integrated terminal's viewport, some text in the editor becomes part of the selection:

[Tyriar]

This no longer happens. Here are some selection-related upstream issues:

• Selection is only possible on the text in the current viewport xtermjs/xterm.js#69
• Selection goes crazy when you start dragging and then use mouse wheel xtermjs/xterm.js#68

[bpasero]

I am still seeing this though I am not sure if it is terminal related.

[Tyriar]

I didn't do anything to resolve this but I certainly see it less now for some reason (maybe Windows only?). xterm.js is probably moving towards a virtual selection model similar to monaco which would fix this by disabling selection xtermjs/xterm.js#207

[Tyriar]

Duplicate #6755