| 1234567891011121314151617181920 |
- import { Keybindings, PdfViewer } from './project-settings'
- import {
- FontFamily,
- LineHeight,
- OverallTheme,
- } from '@/features/source-editor/extensions/theme'
- export type UserSettings = {
- pdfViewer: PdfViewer
- autoComplete: boolean
- autoPairDelimiters: boolean
- syntaxValidation: boolean
- editorTheme: string
- overallTheme: OverallTheme
- mode: Keybindings
- fontSize: number
- fontFamily: FontFamily
- lineHeight: LineHeight
- mathPreview: boolean
- }
|