@@ -38,6 +38,7 @@ import { languages } from '@codemirror/language-data';
38
38
import { markdown } from '@codemirror/lang-markdown' ;
39
39
import { highlightNewlines } from 'codecrafters-frontend/utils/code-mirror-highlight-newlines' ;
40
40
import { collapseUnchangedGutter } from 'codecrafters-frontend/utils/code-mirror-collapse-unchanged-gutter' ;
41
+ import { highlightActiveLineGutter as highlightActiveLineGutterRS } from 'codecrafters-frontend/utils/code-mirror-gutter-rs' ;
41
42
42
43
function generateHTMLElement ( src : string ) : HTMLElement {
43
44
const div = document . createElement ( 'div' ) ;
@@ -66,7 +67,8 @@ const OPTION_HANDLERS: { [key: string]: OptionHandler } = {
66
67
drawSelection : ( { drawSelection : enabled } ) => ( enabled ? [ drawSelection ( ) ] : [ ] ) ,
67
68
dropCursor : ( { dropCursor : enabled } ) => ( enabled ? [ dropCursor ( ) ] : [ ] ) ,
68
69
editable : ( { editable } ) => [ EditorView . editable . of ( ! ! editable ) ] ,
69
- highlightActiveLine : ( { highlightActiveLine : enabled } ) => ( enabled ? [ highlightActiveLine ( ) , highlightActiveLineGutter ( ) ] : [ ] ) ,
70
+ highlightActiveLine : ( { highlightActiveLine : enabled } ) =>
71
+ enabled ? [ highlightActiveLine ( ) , highlightActiveLineGutter ( ) , highlightActiveLineGutterRS ( ) ] : [ ] ,
70
72
highlightNewlines : ( { highlightNewlines : enabled } ) => ( enabled ? [ highlightNewlines ( ) ] : [ ] ) ,
71
73
highlightSelectionMatches : ( { highlightSelectionMatches : enabled } ) => ( enabled ? [ highlightSelectionMatches ( ) ] : [ ] ) ,
72
74
highlightSpecialChars : ( { highlightSpecialChars : enabled } ) => ( enabled ? [ highlightSpecialChars ( ) ] : [ ] ) ,
0 commit comments