defaults.js 558 B

1234567891011121314151617181920212223242526272829
  1. export function getDefaults() {
  2. return {
  3. baseUrl: null,
  4. breaks: false,
  5. extensions: null,
  6. gfm: true,
  7. headerIds: true,
  8. headerPrefix: '',
  9. highlight: null,
  10. langPrefix: 'language-',
  11. mangle: true,
  12. pedantic: false,
  13. renderer: null,
  14. sanitize: false,
  15. sanitizer: null,
  16. silent: false,
  17. smartLists: false,
  18. smartypants: false,
  19. tokenizer: null,
  20. walkTokens: null,
  21. xhtml: false
  22. };
  23. }
  24. export let defaults = getDefaults();
  25. export function changeDefaults(newDefaults) {
  26. defaults = newDefaults;
  27. }