project-settings.ts 599 B

12345678910111213141516171819202122232425262728293031
  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. }
  13. path: string
  14. }
  15. export type ProjectCompiler = 'pdflatex' | 'latex' | 'xelatex' | 'lualatex'
  16. export type OverallThemeMeta = {
  17. name: string
  18. path: string
  19. val: OverallTheme
  20. }
  21. export type SpellCheckLanguage = {
  22. name: string
  23. code: string
  24. dic?: string
  25. server?: false
  26. }