| 126 | } |
| 127 | |
| 128 | interface LineRange { |
| 129 | from: number; |
| 130 | to: number; |
| 131 | } |
| 132 | |
| 133 | const baseTheme = EditorView.baseTheme({ |
| 134 | "&light .cm-highlighted": { backgroundColor: "#ffee0055" }, |
nothing calls this directly
no outgoing calls
no test coverage detected