Load default options in demo

Per @styfle's suggestion, setting the options element's contents to the defaults on load.
This commit is contained in:
aprotim 2018-10-18 11:02:57 -07:00 committed by GitHub
parent 14ab69a1e0
commit cf7fab7051
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -48,6 +48,8 @@ if ('text' in search) {
if ('options' in search) {
$optionsElem.value = search.options;
} else {
$optionsElem.value = JSON.stringify(marked.getDefaults(), null, ' ');
}
if (search.outputType) {