user-settings.ts 464 B

1234567891011121314151617181920
  1. import { Keybindings, PdfViewer } from './project-settings'
  2. import {
  3. FontFamily,
  4. LineHeight,
  5. OverallTheme,
  6. } from '@/features/source-editor/extensions/theme'
  7. export type UserSettings = {
  8. pdfViewer: PdfViewer
  9. autoComplete: boolean
  10. autoPairDelimiters: boolean
  11. syntaxValidation: boolean
  12. editorTheme: string
  13. overallTheme: OverallTheme
  14. mode: Keybindings
  15. fontSize: number
  16. fontFamily: FontFamily
  17. lineHeight: LineHeight
  18. mathPreview: boolean
  19. }