Merge pull request #1039 from ehuss/fix-html-config

Fix merge conflict.
This commit is contained in:
Eric Huss 2019-09-26 11:49:57 -07:00 committed by GitHub
commit ed95252f05
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -441,7 +441,7 @@ fn make_data(
if html_config.playpen.editable && html_config.playpen.copy_js { if html_config.playpen.editable && html_config.playpen.copy_js {
data.insert("playpen_js".to_owned(), json!(true)); data.insert("playpen_js".to_owned(), json!(true));
if html.playpen.line_numbers { if html_config.playpen.line_numbers {
data.insert("playpen_line_numbers".to_owned(), json!(true)); data.insert("playpen_line_numbers".to_owned(), json!(true));
} }
} }