project-settings.ts 705 B

1234567891011121314151617181920212223242526272829303132333435
  1. import { OverallTheme } from '../frontend/js/features/source-editor/extensions/theme'
  2. import { Brand } from './helpers/brand'
  3. export type AllowedImageName = {
  4. imageDesc: string
  5. imageName: string
  6. }
  7. export type DocId = Brand<string, 'DocId'>
  8. export type MainDocument = {
  9. doc: {
  10. name: string
  11. id: DocId
  12. type: string
  13. selected: boolean
  14. }
  15. path: string
  16. }
  17. export type ProjectCompiler = 'pdflatex' | 'latex' | 'xelatex' | 'lualatex'
  18. export type Keybindings = 'default' | 'vim' | 'emacs'
  19. export type OverallThemeMeta = {
  20. name: string
  21. path: string
  22. val: OverallTheme
  23. }
  24. export type PdfViewer = 'pdfjs' | 'native'
  25. export type SpellCheckLanguage = {
  26. name: string
  27. code: string
  28. }