From b225b9a7108b4154c7c8f35921b02173f3e433c2 Mon Sep 17 00:00:00 2001 From: Simon Siefke Date: Thu, 27 Jul 2023 17:39:15 +0200 Subject: [PATCH] fix eslint --- src/browser/renderer/dom/DomRenderer.ts | 6 +++--- src/browser/renderer/dom/StyleSheet.ts | 14 +++++++------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/src/browser/renderer/dom/DomRenderer.ts b/src/browser/renderer/dom/DomRenderer.ts index f8c3041495..593acbb2dc 100644 --- a/src/browser/renderer/dom/DomRenderer.ts +++ b/src/browser/renderer/dom/DomRenderer.ts @@ -13,7 +13,7 @@ import { color } from 'common/Color'; import { EventEmitter } from 'common/EventEmitter'; import { Disposable, toDisposable } from 'common/Lifecycle'; import { IBufferService, IInstantiationService, IOptionsService } from 'common/services/Services'; -import { createStyle, StyleSheet } from "./StyleSheet"; +import { createStyle, IStyleSheet } from './StyleSheet'; const TERMINAL_CLASS_PREFIX = 'xterm-dom-renderer-owner-'; const ROW_CONTAINER_CLASS = 'xterm-rows'; @@ -33,8 +33,8 @@ export class DomRenderer extends Disposable implements IRenderer { private _rowFactory: DomRendererRowFactory; private _terminalClass: number = nextTerminalId++; - private _themeStyle!: StyleSheet; - private _dimensionsStyle!: StyleSheet; + private _themeStyle!: IStyleSheet; + private _dimensionsStyle!: IStyleSheet; private _rowContainer: HTMLElement; private _rowElements: HTMLElement[] = []; private _selectionContainer: HTMLElement; diff --git a/src/browser/renderer/dom/StyleSheet.ts b/src/browser/renderer/dom/StyleSheet.ts index 26238ade93..a9d9d4b35f 100644 --- a/src/browser/renderer/dom/StyleSheet.ts +++ b/src/browser/renderer/dom/StyleSheet.ts @@ -1,9 +1,9 @@ -export interface StyleSheet { +export interface IStyleSheet { dispose: () => void; setCss: (value: string) => void; } -const createCssStyleSheet = (): StyleSheet => { +const createCssStyleSheet = (): IStyleSheet => { const sheet = new CSSStyleSheet(); document.adoptedStyleSheets.push(sheet); return { @@ -13,12 +13,12 @@ const createCssStyleSheet = (): StyleSheet => { }, setCss(css) { sheet.replace(css); - }, + } }; }; -const createStyleElement = (parent: HTMLElement): StyleSheet => { - const element = document.createElement("style"); +const createStyleElement = (parent: HTMLElement): IStyleSheet => { + const element = document.createElement('style'); parent.append(element); return { dispose() { @@ -26,11 +26,11 @@ const createStyleElement = (parent: HTMLElement): StyleSheet => { }, setCss(css) { element.textContent = css; - }, + } }; }; -export const createStyle = (parent: HTMLElement): StyleSheet => { +export const createStyle = (parent: HTMLElement): IStyleSheet => { try { return createCssStyleSheet(); } catch {