commit 07225d5388658f7354f9f85241c547117c590f82
author Chris Poucet <poucet@google.com> Wed Mar 08 09:15:42 2023 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Mar 08 09:15:42 2023 +0000
tree dc8397fdc966a81fc779e9a133d8ab94b0485547
parent 0f55ba765148be9d2b6091f040222719ae65bf06
parent c130eab56f50cd30e642b9c7e286d5c0de7aad7f

Merge "Make sure to define the custom-element for codemirror-element"

web/gr-editor.ts

diff --git a/web/gr-editor.ts b/web/gr-editor.ts
index c461864..05e5dbd 100644
--- a/web/gr-editor.ts
+++ b/web/gr-editor.ts
@@ -10,12 +10,23 @@
 import {customElement, property, query} from 'lit/decorators.js';
 import {setScriptSrc} from './safe-script';
 
+/**
+ * <codemirror-element> is defined in a separate javascript bundle, so let's
+ * define its interface here.
+ */
+interface CodeMirrorElement extends HTMLElement {
+  lineNum?: number;
+  prefs: unknown;
+  fileContent?: string;
+  fileType?: string;
+}
+
 declare global {
   interface HTMLElementTagNameMap {
     'gr-editor': GrEditor;
+    'codemirror-element': CodeMirrorElement;
   }
 }
-
 /**
  * This component just loads the CodeMirror js bundle lazily and converts the
  * Gerrit preferences into CodeMirror params.

web/tsconfig.json

diff --git a/web/tsconfig.json b/web/tsconfig.json
index c86c6af..78051ab 100644
--- a/web/tsconfig.json
+++ b/web/tsconfig.json
@@ -5,5 +5,5 @@
   },
   "include": [
     "**/*.ts"
-  ],
-}
\ No newline at end of file
+  ]
+}