From 5cbd406a14c0d340b747bb34a529c8e619745b2d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maxime=20=E2=80=9Cpep=E2=80=9D=20Buquet?= Date: Mon, 11 Nov 2019 16:54:45 +0100 Subject: [PATCH 1/2] rustdoc: fixes #64305: disable search field instead of hidding it MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maxime “pep” Buquet --- src/librustdoc/html/layout.rs | 3 ++- src/librustdoc/html/static/main.js | 8 ++++---- src/librustdoc/html/static/rustdoc.css | 2 +- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 697dee0216e..15580eabe04 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -86,10 +86,11 @@ pub fn render( \ \