From ccd2be5b91a5536bc18a90d20a77f10ac052e54c Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Mon, 4 Oct 2021 13:01:50 -0700 Subject: [PATCH] fix busted JavaScript in error index generator The old JavaScript didn't work. It filled the browser console with "e.previousElementSibling not defined" errors, because it didn't account for the example-wrap div that a newer version of rustdoc added. Additionally, it had copied versions of utility functions that had been optimized in rustdoc main.js. This version updates those. --- src/tools/error_index_generator/main.rs | 53 +++++++++---------------- 1 file changed, 19 insertions(+), 34 deletions(-) diff --git a/src/tools/error_index_generator/main.rs b/src/tools/error_index_generator/main.rs index 01a3fc812b208..0386d8be167ee 100644 --- a/src/tools/error_index_generator/main.rs +++ b/src/tools/error_index_generator/main.rs @@ -143,56 +143,41 @@ impl Formatter for HTMLFormatter { r##"