-
-
- Select a language:{' '}
-
- {this.renderColorThemes()}
-
-
-
- );
- }
-}
diff --git a/website/src/extensions/workbench/utils.ts b/website/src/extensions/workbench/utils.ts
deleted file mode 100644
index e635b7f5..00000000
--- a/website/src/extensions/workbench/utils.ts
+++ /dev/null
@@ -1,21 +0,0 @@
-export function debounce