import {
defaultKeymap, history, historyKeymap, indentWithTab,
} from '@codemirror/commands';
-import {EditorState} from '@codemirror/state';
+import {Compartment, EditorState} from '@codemirror/state';
import {getTheme} from './themes';
/**
return [
getTheme(parentEl),
lineNumbers(),
- highlightActiveLineGutter(),
drawSelection(),
dropCursor(),
bracketMatching(),
rectangularSelection(),
- highlightActiveLine(),
+ ];
+}
+
+/**
+ * @returns {({extension: Extension}|readonly Extension[])[]}
+ */
+function getDynamicActiveLineHighlighter() {
+ const highlightingCompartment = new Compartment();
+ const domEvents = {
+ focus(event, view) {
+ view.dispatch({
+ effects: highlightingCompartment.reconfigure([
+ highlightActiveLineGutter(),
+ highlightActiveLine(),
+ ]),
+ });
+ },
+ blur(event, view) {
+ view.dispatch({
+ effects: highlightingCompartment.reconfigure([]),
+ });
+ },
+ };
+
+ return [
+ highlightingCompartment.of([]),
+ EditorView.domEventHandlers(domEvents),
];
}
export function viewerExtensions(parentEl) {
return [
...common(parentEl),
+ getDynamicActiveLineHighlighter(),
keymap.of([
...defaultKeymap,
]),
export function editorExtensions(parentEl) {
return [
...common(parentEl),
+ highlightActiveLineGutter(),
+ highlightActiveLine(),
history(),
keymap.of([
...defaultKeymap,