From 4b847575771499f1fdcec633ddaec982acfa4fa8 Mon Sep 17 00:00:00 2001 From: bunsenstraat Date: Fri, 19 Aug 2022 11:39:52 +0200 Subject: [PATCH] change marker type --- libs/remix-ui/editor/src/lib/remix-ui-editor.tsx | 2 -- 1 file changed, 2 deletions(-) diff --git a/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx b/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx index 47f6b4ff67..2429c218cf 100644 --- a/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx +++ b/libs/remix-ui/editor/src/lib/remix-ui-editor.tsx @@ -106,8 +106,6 @@ export interface EditorUIProps { getCursorPosition: () => number getHoverPosition: (position: IPosition) => number addDecoration: (marker: sourceMarker, filePath: string, typeOfDecoration: string) => DecorationsReturn - addErrorMarker: (errors: []) => void - clearErrorMarkers: (sources: any) => void clearDecorationsByPlugin: (filePath: string, plugin: string, typeOfDecoration: string, registeredDecorations: any, currentDecorations: any) => DecorationsReturn keepDecorationsFor: (filePath: string, plugin: string, typeOfDecoration: string, registeredDecorations: any, currentDecorations: any) => DecorationsReturn addErrorMarker: (errors: []) => void