From e610511be42137dd31a9f85ca8805c38befdc1ff Mon Sep 17 00:00:00 2001
From: Arno Gourdol <arno@arno.org>
Date: Sat, 2 Sep 2023 09:58:02 -0700
Subject: [PATCH] lint

---
 src/addons/definitions-metadata.ts        | 4 ++--
 src/core-definitions/definitions-utils.ts | 5 +----
 src/core/tokenizer.ts                     | 2 +-
 src/editor-mathfield/render.ts            | 1 +
 4 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/addons/definitions-metadata.ts b/src/addons/definitions-metadata.ts
index c29d60146..c5cee6416 100644
--- a/src/addons/definitions-metadata.ts
+++ b/src/addons/definitions-metadata.ts
@@ -434,9 +434,9 @@ metadata(
     '\\imaginaryI',
     '\\imaginaryJ',
     '\\differentialD',
-    '\\rd',
     '\\capitalDifferentialD',
-    '\\rD',
+    '\\rd', // Proof Wiki
+    '\\rD', // Proof Wiki
     '\\differencedelta',
     '\\mid',
     '@',
diff --git a/src/core-definitions/definitions-utils.ts b/src/core-definitions/definitions-utils.ts
index 41f51460c..0195ea261 100644
--- a/src/core-definitions/definitions-utils.ts
+++ b/src/core-definitions/definitions-utils.ts
@@ -1045,10 +1045,7 @@ export function getMacroDefinition(
   return macros[command];
 }
 
-export function unicodeCharToLatex(
-  parseMode: ArgumentType,
-  char: string
-): string {
+export function unicodeCharToLatex(parseMode: ParseMode, char: string): string {
   if (parseMode === 'text')
     return charToLatex(parseMode, char.codePointAt(0)) ?? char;
 
diff --git a/src/core/tokenizer.ts b/src/core/tokenizer.ts
index 2b7bbc82f..4fbcdb426 100644
--- a/src/core/tokenizer.ts
+++ b/src/core/tokenizer.ts
@@ -352,7 +352,7 @@ export function tokensToString(tokens: Token[]): string {
           '<$>': '$',
           '<{>': '{',
           '<}>': '}',
-        }[token] ?? token)
+        })[token] ?? token
     )
   );
 }
diff --git a/src/editor-mathfield/render.ts b/src/editor-mathfield/render.ts
index 3b6db6112..3a042a89d 100644
--- a/src/editor-mathfield/render.ts
+++ b/src/editor-mathfield/render.ts
@@ -102,6 +102,7 @@ function makeBox(
       'aria-hidden': 'true',
     },
   });
+
   return wrapper;
 }