Fix export let which was broken by eslint

nebari-dev · Apr 17, 2024 · 2be3848 · 2be3848
1 parent 27b7c7d
commit 2be3848
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/index.ts b/src/index.ts
@@ -182,5 +182,8 @@ namespace Private {
   /**
    * The incrementing id used for launcher widgets.
    */
-  export const id = 0;
+  // There is a bug in `prefer-const` for exported let, see:
+  // - https://github.com/typescript-eslint/typescript-eslint/issues/4572
+  // - https://github.com/typescript-eslint/typescript-eslint/issues/4573
+  export let id = 0; // eslint-disable-line prefer-const
 }