user-settings.ts 580 B

123456789101112131415161718192021
  1. import { FontFamily, LineHeight, OverallTheme } from '@/shared/utils/styles'
  2. export type Keybindings = 'none' | 'default' | 'vim' | 'emacs'
  3. export type PdfViewer = 'pdfjs' | 'native'
  4. export type UserSettings = {
  5. pdfViewer: PdfViewer
  6. autoComplete: boolean
  7. autoPairDelimiters: boolean
  8. syntaxValidation: boolean
  9. editorTheme: string
  10. overallTheme: OverallTheme
  11. mode: Keybindings
  12. fontSize: number
  13. fontFamily: FontFamily
  14. lineHeight: LineHeight
  15. mathPreview: boolean
  16. referencesSearchMode: 'advanced' | 'simple'
  17. enableNewEditor: boolean
  18. breadcrumbs: boolean
  19. }