(themeId)
| 47 | } |
| 48 | |
| 49 | function createPreview(themeId) { |
| 50 | destroyPreview("create"); |
| 51 | $themePreview.innerHTML = ""; |
| 52 | const theme = getThemeExtensions(themeId, [oneDark]); |
| 53 | const fixedHeightTheme = EditorView.theme({ |
| 54 | "&": { height: "100%", flex: "1 1 auto" }, |
| 55 | ".cm-scroller": { height: "100%", overflow: "auto" }, |
| 56 | }); |
| 57 | const state = EditorState.create({ |
| 58 | doc: previewDoc, |
| 59 | extensions: [basicSetup, javascript(), fixedHeightTheme, ...theme], |
| 60 | }); |
| 61 | cmPreview = new EditorView({ state, parent: $themePreview }); |
| 62 | cmPreview.contentDOM.setAttribute("aria-readonly", "true"); |
| 63 | } |
| 64 | |
| 65 | actionStack.push({ |
| 66 | id: "appTheme", |
no test coverage detected