waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Make scrollbar draggable when using DOM renderer

Browse Source 
Fixes #1751
This commit is contained in:
Jeff Smith
2018-11-12 21:08:51 -06:00
parent cb97ab35cb
commit 8ea0bb55b4
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/renderer/dom/DomRenderer.ts
+3 -5
View File
@@ -123,16 +123,14 @@ export class DomRenderer extends EventEmitter implements IRenderer {
` display: inline-block;` + ` display: inline-block;` +
` height: 100%;` + ` height: 100%;` +
` vertical-align: top;` + ` vertical-align: top;` +
` width: ${this._terminal.charMeasure.width}px` + ` width: ${this.dimensions.actualCellWidth}px` +
`}`; `}`;
this._dimensionsStyleElement.innerHTML = styles; this._dimensionsStyleElement.innerHTML = styles;
this._selectionContainer.style.height = (<any>this._terminal)._viewportElement.style.height; this._selectionContainer.style.height = (<any>this._terminal)._viewportElement.style.height;
this._rowContainer.style.width = `${this.dimensions.canvasWidth}px`; this._terminal.screenElement.style.width = `${this.dimensions.canvasWidth}px`;
this._rowContainer.style.height = `${this.dimensions.canvasHeight}px`; this._terminal.screenElement.style.height = `${this.dimensions.canvasHeight}px`;
this._terminal.screenElement.style.width = '';
this._terminal.screenElement.style.height = '';
} }
public setTheme(theme: ITheme | undefined): IColorSet { public setTheme(theme: ITheme | undefined): IColorSet {