change marker type

pull/5370/head
bunsenstraat 2 years ago
parent 102f4fa08b
commit 4b84757577
  1. 2
      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

Loading…
Cancel
Save