user-settings.ts 511 B

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