From 3c43964233c589d8e2dd807d5ee69d0b64194219 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Sun, 11 Aug 2024 09:58:11 +0200 Subject: [PATCH] fix typescript error --- frontend/components/ErrorMessage.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/frontend/components/ErrorMessage.js b/frontend/components/ErrorMessage.js index 73f9a0f425..9ca2cbbb33 100644 --- a/frontend/components/ErrorMessage.js +++ b/frontend/components/ErrorMessage.js @@ -1,10 +1,9 @@ import { cl } from "../common/ClassTable.js" import { PlutoActionsContext } from "../common/PlutoContext.js" -import { EditorState, EditorView, julia_andrey, lineNumbers, syntaxHighlighting } from "../imports/CodemirrorPlutoSetup.js" import { html, useContext, useEffect, useLayoutEffect, useRef, useState } from "../imports/Preact.js" import { highlight } from "./CellOutput.js" -import { Editor } from "./Editor.js" import { PkgTerminalView } from "./PkgTerminalView.js" +import _ from "../imports/lodash.js" const extract_cell_id = (/** @type {string} */ file) => { const sep_index = file.indexOf("#==#")