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

Update src/browser/Decorations/OverviewRulerRenderer.ts

Browse Source 
Co-authored-by: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
This commit is contained in:
Megan Rogge
2022-03-15 14:59:43 -04:00
committed by GitHub
co-authored by Daniel Imms
parent 45ecc837e4
commit b146ffd30f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/Decorations/OverviewRulerRenderer.ts
+2 -1
View File
@@ -79,7 +79,8 @@ export class OverviewRulerRenderer extends Disposable {
}
this._ctx.lineWidth = 1;
this._ctx.strokeStyle = decoration.options.overviewRulerOptions.color;
const size = Math.floor(this._optionsService.options.overviewRulerWidth / 3);
const outerSize = Math.floor(this._optionsService.options.overviewRulerWidth / 3);
const innerSize = Math.ceil(this._optionsService.options.overviewRulerWidth / 3);
const position = decoration.options.overviewRulerOptions.position;
this._ctx.strokeRect(
!position || position === 'left' ? 0 : position === 'right' ? size * 2 + 1: size,