editor-themes.ts 431 B

12345678910111213141516
  1. const EditorTheme = {
  2. defaultlight: 'defaultlight',
  3. eclipse: 'eclipse',
  4. basic: 'basic',
  5. ayu: 'ayu',
  6. rosepine: 'rosepine',
  7. defaultdark: 'defaultdark',
  8. material: 'material',
  9. nord: 'nord',
  10. cobalt: 'cobalt',
  11. kimbie: 'kimbie',
  12. } as const;
  13. export const DEFAULT_THEME = 'defaultlight';
  14. export const AllEditorTheme = Object.values(EditorTheme);
  15. export type EditorTheme = typeof EditorTheme[keyof typeof EditorTheme];