editor: drop use of react-monaco-editor

The upstream package is currently broken and doesn't actually save us
any work.
This commit is contained in:
David Lechner
2022-12-01 17:08:19 -06:00
committed by David Lechner
parent 5924ded76a
commit 35cef50e44
15 changed files with 59 additions and 73 deletions
+1 -1
View File
@@ -5,7 +5,7 @@
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
import type { monaco } from 'react-monaco-editor';
import type * as monaco from 'monaco-editor';
/** The Pybricks MicroPython language identifier. */
export const pybricksMicroPythonId = 'pybricks-micropython';