mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Update remix-ui-editor.tsx

Browse Source
pull/2850/head
bunsenstraat 2 years ago committed by GitHub
parent e71a01ff6c
commit eb9b5441c1
1 changed files with 0 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      libs/remix-ui/editor/src/lib/remix-ui-editor.tsx

1
libs/remix-ui/editor/src/lib/remix-ui-editor.tsx
Unescape View File

@ -136,7 +136,6 @@ export const EditorUI = (props: EditorUIProps) => {
const editorRef = useRef(null) const editorRef = useRef(null)
const monacoRef = useRef<Monaco>(null) const monacoRef = useRef<Monaco>(null)
const currentFileRef = useRef('') const currentFileRef = useRef('')
const definitionProvider = new RemixDefinitionProvider(props, monaco)
// const currentDecorations = useRef({ sourceAnnotationsPerFile: {}, markerPerFile: {} }) // decorations that are currently in use by the editor // const currentDecorations = useRef({ sourceAnnotationsPerFile: {}, markerPerFile: {} }) // decorations that are currently in use by the editor
// const registeredDecorations = useRef({}) // registered decorations // const registeredDecorations = useRef({}) // registered decorations

Write Preview
Loading…
Cancel
Save