From 0eeec1d152563424cf798f5bf6632952ce6a7983 Mon Sep 17 00:00:00 2001 From: sylvestre Date: Tue, 24 Aug 2021 20:36:54 +0000 Subject: [PATCH] deploy: b3ede5bce1566ee5b0713ddda6bee2649cd7a1a8 --- settings.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/settings.html b/settings.html index e7a110fd1..99fdd48c6 100644 --- a/settings.html +++ b/settings.html @@ -1,4 +1,4 @@ Rustdoc settings -

Rustdoc settings

Theme preferences
Use system theme
Preferred dark theme
Preferred light theme
-
Auto-hide item contents for large items.
Auto-hide item methods' documentation
Auto-hide trait implementation documentation
Auto-hide implementors of a trait
Directly go to item in search if there is only one result
Show line numbers on code examples
Disable keyboard shortcuts
\ No newline at end of file +

Rustdoc settings

Theme preferences
Use system theme
Preferred dark theme
Preferred light theme
+
Auto-hide item contents for large items.
Auto-hide item methods' documentation
Auto-hide trait implementation documentation
Auto-hide implementors of a trait
Directly go to item in search if there is only one result
Show line numbers on code examples
Disable keyboard shortcuts
\ No newline at end of file