From 9b4801fb43d0286feb0f26e98549609e1ce0843d Mon Sep 17 00:00:00 2001 From: meganrogge Date: Sun, 30 Jan 2022 00:36:31 -0600 Subject: [PATCH] more polish --- demo/style.css | 4 ++-- src/browser/renderer/DecorationRenderLayer.ts | 5 ++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/demo/style.css b/demo/style.css index d490d953..1abcf08d 100644 --- a/demo/style.css +++ b/demo/style.css @@ -76,8 +76,8 @@ pre { background-color: #ddd; } -.decoration:hover, -.decoration:focus { +.button-buffer-decoration:hover, +.button-buffer-decoration:focus { box-shadow: 0 0.5em 0.5em -0.4em var(--hover); transform: translateY(-0.25em); } diff --git a/src/browser/renderer/DecorationRenderLayer.ts b/src/browser/renderer/DecorationRenderLayer.ts index 5d088241..39254d9c 100644 --- a/src/browser/renderer/DecorationRenderLayer.ts +++ b/src/browser/renderer/DecorationRenderLayer.ts @@ -14,7 +14,7 @@ import { IBufferService, IOptionsService } from 'common/services/Services'; import { IBufferDecorationOptions, IDecoration, IEvent, IGutterDecorationOptions } from 'xterm'; const enum DefaultButton { - COLOR = '#4B9CD3' + COLOR = '#5DA5D5' } export class DecorationRenderLayer extends BaseRenderLayer { constructor( @@ -28,7 +28,6 @@ export class DecorationRenderLayer extends BaseRenderLayer { ) { super(container, 'decoration', zIndex, true, colors, rendererId, bufferService, optionsService); this.registerDecoration({ startMarker: new Marker(1), shape: 'button' }); - this._onRequestRedraw.fire({ start: this._bufferService.buffer.y, end: this._bufferService.buffer.y }); } public reset(): void { @@ -82,7 +81,7 @@ class BufferDecoration extends Disposable implements IDecoration { this._element.style.position = 'absolute'; this._element.style.top = '0px'; this._element.style.right = '5px'; - addDisposableDomListener(this._element, 'click', e => console.log('circle')); + addDisposableDomListener(this._element, 'click', () => console.log('circle')); container.parentElement!.append(this._element); this._onRender.fire(this._element); } else {