Merge pull request #1335 from ehuss/fix-print

Fix print icon.
This commit is contained in:
Eric Huss 2020-09-22 13:34:15 -07:00 committed by GitHub
commit d0deee90b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -648,9 +648,9 @@ fn make_data(
data.insert("playground_copyable".to_owned(), json!(true)); data.insert("playground_copyable".to_owned(), json!(true));
} }
data.insert("print_enable".to_owned(), json!(!html_config.print.enable)); data.insert("print_enable".to_owned(), json!(html_config.print.enable));
data.insert("fold_enable".to_owned(), json!((html_config.fold.enable))); data.insert("fold_enable".to_owned(), json!(html_config.fold.enable));
data.insert("fold_level".to_owned(), json!((html_config.fold.level))); data.insert("fold_level".to_owned(), json!(html_config.fold.level));
let search = html_config.search.clone(); let search = html_config.search.clone();
if cfg!(feature = "search") { if cfg!(feature = "search") {