| 1234567891011121314151617181920212223242526272829 |
- export function getDefaults() {
- return {
- baseUrl: null,
- breaks: false,
- extensions: null,
- gfm: true,
- headerIds: true,
- headerPrefix: '',
- highlight: null,
- langPrefix: 'language-',
- mangle: true,
- pedantic: false,
- renderer: null,
- sanitize: false,
- sanitizer: null,
- silent: false,
- smartLists: false,
- smartypants: false,
- tokenizer: null,
- walkTokens: null,
- xhtml: false
- };
- }
- export let defaults = getDefaults();
- export function changeDefaults(newDefaults) {
- defaults = newDefaults;
- }
|