GitOrigin-RevId: 2061bafeca58d063f83a96650403e5741b863c05
@@ -1,9 +1,9 @@
-import {
+import type {
FontFamily,
LineHeight,
OverallTheme,
} from '../../../../../modules/source-editor/frontend/js/extensions/theme'
Keybindings,
PdfViewer,
ProjectCompiler,