Merge branch 'master' into webgl2

This commit is contained in:
Daniel Imms
2018-11-27 09:19:17 -08:00
committed by GitHub
2 changed files with 3 additions and 3 deletions
+2 -2
View File
@@ -1160,9 +1160,9 @@ export class Terminal extends EventEmitter implements ITerminal, IDisposable, II
*/
public updateCursorStyle(ev: KeyboardEvent): void {
if (this.selectionManager && this.selectionManager.shouldColumnSelect(ev)) {
this.element.classList.add('xterm-cursor-crosshair');
this.element.classList.add('column-select');
} else {
this.element.classList.remove('xterm-cursor-crosshair');
this.element.classList.remove('column-select');
}
}
+1 -1
View File
@@ -139,7 +139,7 @@
cursor: pointer;
}
.xterm.xterm-cursor-crosshair {
.xterm.column-select.focus {
/* Column selection mode */
cursor: crosshair;
}