project-settings.ts 623 B

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