From be3cc4b01fccfff71394bb9b7ccc8532d5d7bc4e Mon Sep 17 00:00:00 2001
From: Zef Hemel <zef@zef.me>
Date: Tue, 19 May 2026 17:30:21 +0200
Subject: [PATCH] lint

---
 client/editor_commands.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/editor_commands.ts b/client/editor_commands.ts
index 58c48831..ea37ff4d 100644
--- a/client/editor_commands.ts
+++ b/client/editor_commands.ts
@@ -50,7 +50,7 @@ import {
 } from "@codemirror/autocomplete";
 import { openSearchPanel } from "@codemirror/search";
 import { EditorSelection } from "@codemirror/state";
-import { type EditorView } from "@codemirror/view";
+import type { EditorView } from "@codemirror/view";
 import { reloadAllWidgets } from "./codemirror/code_widget.ts";
 import { broadcastReload } from "./components/widget_sandbox_iframe.ts";
 import type { Client } from "./client.ts";