Function CodeEditor

src/web-ui/src/tools/editor/components/CodeEditor.tsx:156–2390

({
  filePath: rawFilePath,
  workspacePath,
  fileName,
  language = 'plaintext',
  readOnly = false,
  showLineNumbers = true,
  showMinimap = true,
  className = '',
  onContentChange,
  onSave,
  enableLsp = true,
  jumpToLine,
  jumpToColumn,
  jumpToRange,
  navigationToken,
  isActiveTab = true,
  onFileMissingFromDiskChange,
  autoSave = false,
  autoSaveDelayMs = 800,
})

}

const CodeEditor: React.FC<CodeEditorProps> = ({
  filePath: rawFilePath,
  workspacePath,
  fileName,
  language = 'plaintext',
  readOnly = false,
  showLineNumbers = true,
  showMinimap = true,
  className = '',
  onContentChange,
  onSave,
  enableLsp = true,
  jumpToLine,
  jumpToColumn,
  jumpToRange,
  navigationToken,
  isActiveTab = true,
  onFileMissingFromDiskChange,
  autoSave = false,
  autoSaveDelayMs = 800,
}) => {
  // Decode URL-encoded paths before handing them to the editor.
  const filePath = useMemo(() => {
    try {
      if (rawFilePath.includes('%')) {
        return decodeURIComponent(rawFilePath);
      }
    } catch (err) {
      log.warn('Failed to decode path', { rawFilePath, error: err });
    }
    return rawFilePath;
  }, [rawFilePath]);

  const { t } = useI18n('tools');
  
  const detectLanguageFromFileName = useCallback((fileName: string): string => {
    const detected = getMonacoLanguage(fileName);
    return detected !== 'plaintext' ? detected : (language || 'plaintext');
  }, [language]);

  const [content, setContent] = useState('');
  const [hasChanges, setHasChanges] = useState(false);
  const [loading, setLoading] = useState(true);
  const [showLoadingOverlay, setShowLoadingOverlay] = useState(false);
  const loadingOverlayDelayRef = useRef<ReturnType<typeof setTimeout> | null>(null);
  const LOADING_OVERLAY_DELAY_MS = 80;
  useEffect(() => {
    if (loading) {
      const t = setTimeout(() => {
        loadingOverlayDelayRef.current = null;
        setShowLoadingOverlay(true);
      }, LOADING_OVERLAY_DELAY_MS);
      loadingOverlayDelayRef.current = t;
      return () => {
        if (loadingOverlayDelayRef.current) {
          clearTimeout(loadingOverlayDelayRef.current);
          loadingOverlayDelayRef.current = null;
        }