2023-07-29 08:31:34 +02:00
|
|
|
import type { MarkedOptions } from './MarkedOptions.ts';
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Gets the original marked default options.
|
|
|
|
*/
|
|
|
|
export function _getDefaults(): MarkedOptions {
|
2019-11-05 15:29:42 -06:00
|
|
|
return {
|
2022-08-30 09:36:16 -05:00
|
|
|
async: false,
|
2019-11-05 15:29:42 -06:00
|
|
|
breaks: false,
|
2021-06-15 19:22:00 -04:00
|
|
|
extensions: null,
|
2019-11-05 15:29:42 -06:00
|
|
|
gfm: true,
|
2023-03-22 00:48:56 -05:00
|
|
|
hooks: null,
|
2019-11-05 15:29:42 -06:00
|
|
|
pedantic: false,
|
|
|
|
renderer: null,
|
|
|
|
silent: false,
|
2020-04-06 23:25:33 -05:00
|
|
|
tokenizer: null,
|
2024-07-14 18:54:46 -06:00
|
|
|
walkTokens: null,
|
2019-11-05 15:29:42 -06:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2023-07-29 08:31:34 +02:00
|
|
|
export let _defaults = _getDefaults();
|
2019-11-06 11:11:06 -06:00
|
|
|
|
2023-07-29 08:31:34 +02:00
|
|
|
export function changeDefaults(newDefaults: MarkedOptions) {
|
|
|
|
_defaults = newDefaults;
|
2021-11-02 07:32:17 -07:00
|
|
|
}
|