github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-07 20:31:06 -05:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #12481 from overleaf/td-history-remove-source-editor-imports

Browse source 
Remove accidental imports from source-editor module in history

GitOrigin-RevId: 808597e113c3b1e74cacc712313af0e20b0e1786
This commit is contained in:
Eric Mc Sween 2023-04-04 08:14:23 -04:00 committed by Copybot
parent 470dcdedb7
commit 6b110cf4d0
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
services/web/frontend/js/features/history/components/diff-view/document-diff-viewer.tsx
View file

@ -2,20 +2,18 @@ import { useCallback, useEffect, useRef, useState } from 'react'
import withErrorBoundary from '../../../../infrastructure/error-boundary' import withErrorBoundary from '../../../../infrastructure/error-boundary'
import { ErrorBoundaryFallback } from '../../../../shared/components/error-boundary-fallback' import { ErrorBoundaryFallback } from '../../../../shared/components/error-boundary-fallback'
import { EditorState, Extension } from '@codemirror/state' import { EditorState, Extension } from '@codemirror/state'
import { EditorView } from '@codemirror/view' import { EditorView, lineNumbers } from '@codemirror/view'
import { lineNumbers } from '../../../../../../modules/source-editor/frontend/js/extensions/line-numbers'
import { indentationMarkers } from '@replit/codemirror-indentation-markers' import { indentationMarkers } from '@replit/codemirror-indentation-markers'
import { highlights, setHighlightsEffect } from '../../extensions/highlights' import { highlights, setHighlightsEffect } from '../../extensions/highlights'
import useScopeValue from '../../../../shared/hooks/use-scope-value' import useScopeValue from '../../../../shared/hooks/use-scope-value'
import {
FontFamily,
LineHeight,
OverallTheme,
} from '../../../../../../modules/source-editor/frontend/js/extensions/theme'
import { theme, Options } from '../../extensions/theme' import { theme, Options } from '../../extensions/theme'
import { indentUnit } from '@codemirror/language' import { indentUnit } from '@codemirror/language'
import { Highlight } from '../../services/types/doc' import { Highlight } from '../../services/types/doc'
type FontFamily = 'monaco' | 'lucida'
type LineHeight = 'compact' | 'normal' | 'wide'
type OverallTheme = '' | 'light-'
function extensions(themeOptions: Options): Extension[] { function extensions(themeOptions: Options): Extension[] {
return [ return [
EditorView.editable.of(false), EditorView.editable.of(false),