Handle unset editor theme (#12892)

GitOrigin-RevId: 0e3413c08c6fd0752cd90ee868fec9b0f9f77437
This commit is contained in:
Alf Eaton 2023-05-03 09:27:30 +01:00 committed by Copybot
parent 2796f750ee
commit b010d6a5d3

View file

@ -243,6 +243,10 @@ const staticTheme = EditorView.theme({
})
const loadSelectedTheme = async (editorTheme: string) => {
if (!editorTheme) {
editorTheme = 'textmate' // use the default theme if unset
}
const { theme, highlightStyle, dark } = await import(
/* webpackChunkName: "cm6-theme" */ `../themes/cm6/${editorTheme}.json`
)