| 1234567891011121314151617181920212223242526272829303132333435 |
- import { OverallTheme } from '../frontend/js/features/source-editor/extensions/theme'
- import { Brand } from './helpers/brand'
- export type AllowedImageName = {
- imageDesc: string
- imageName: string
- }
- export type DocId = Brand<string, 'DocId'>
- export type MainDocument = {
- doc: {
- name: string
- id: DocId
- type: string
- selected: boolean
- }
- path: string
- }
- export type ProjectCompiler = 'pdflatex' | 'latex' | 'xelatex' | 'lualatex'
- export type Keybindings = 'default' | 'vim' | 'emacs'
- export type OverallThemeMeta = {
- name: string
- path: string
- val: OverallTheme
- }
- export type PdfViewer = 'pdfjs' | 'native'
- export type SpellCheckLanguage = {
- name: string
- code: string
- }
|