lemma/frontend/src/components/Editor.js

import React, { useEffect, useRef } from 'react';
import { basicSetup } from 'codemirror';
import { EditorState } from '@codemirror/state';
import { EditorView, keymap } from '@codemirror/view';
import { markdown } from '@codemirror/lang-markdown';
import { defaultKeymap } from '@codemirror/commands';
import { oneDark } from '@codemirror/theme-one-dark';
import { useSettings } from '../contexts/SettingsContext';
import { useFileSelection } from '../contexts/FileSelectionContext';
import { useEditorContent } from '../contexts/EditorContentContext';

const Editor = () => {
  const { content, handleContentChange, handleSave } = useEditorContent();
  const { selectedFile } = useFileSelection();
  const { settings } = useSettings();
  const editorRef = useRef();
  const viewRef = useRef();

  useEffect(() => {
    const handleEditorSave = (view) => {
      handleSave(selectedFile, view.state.doc.toString());
      return true;
    };

    const theme = EditorView.theme({
      '&': {
        height: '100%',
        fontSize: '14px',
      },
      '.cm-scroller': {
        overflow: 'auto',
      },
      '.cm-gutters': {
        backgroundColor: settings.theme === 'dark' ? '#1e1e1e' : '#f5f5f5',
        color: settings.theme === 'dark' ? '#858585' : '#999',
        border: 'none',
      },
      '.cm-activeLineGutter': {
        backgroundColor: settings.theme === 'dark' ? '#2c313a' : '#e8e8e8',
      },
    });

    const state = EditorState.create({
      doc: content,
      extensions: [
        basicSetup,
        markdown(),
        EditorView.lineWrapping,
        keymap.of(defaultKeymap),
        keymap.of([
          {
            key: 'Ctrl-s',
            run: handleEditorSave,
            preventDefault: true,
          },
        ]),
        EditorView.updateListener.of((update) => {
          if (update.docChanged) {
            handleContentChange(update.state.doc.toString());
          }
        }),
        theme,
        settings.theme === 'dark' ? oneDark : [],
      ],
    });

    const view = new EditorView({
      state,
      parent: editorRef.current,
    });

    viewRef.current = view;

    return () => {
      view.destroy();
    };
  }, [selectedFile, settings.theme, handleContentChange, handleSave]);

  useEffect(() => {
    console.log('Editor: content or selectedFile changed', {
      content,
      selectedFile,
    });

    if (viewRef.current && content !== viewRef.current.state.doc.toString()) {
      console.log('Editor: updating content in CodeMirror');
      viewRef.current.dispatch({
        changes: {
          from: 0,
          to: viewRef.current.state.doc.length,
          insert: content,
        },
      });
    }
  }, [content]);

  return <div ref={editorRef} className="editor-container" />;
};

export default Editor;