From 451a231000edd1eab7a9ec23853e4d4dc0bef7e8 Mon Sep 17 00:00:00 2001 From: ChrisLovering Date: Mon, 25 Jul 2022 21:08:53 +0000 Subject: Deploying to docs from @ python-discord/bot-core@1f309b695e21511173ced9c729f4b78fa9839d73 🚀 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- _static/documentation_options.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '_static/documentation_options.js') diff --git a/_static/documentation_options.js b/_static/documentation_options.js index ee05e061..803b3943 100644 --- a/_static/documentation_options.js +++ b/_static/documentation_options.js @@ -10,5 +10,5 @@ var DOCUMENTATION_OPTIONS = { SOURCELINK_SUFFIX: '.txt', NAVIGATION_WITH_KEYS: false, SHOW_SEARCH_SUMMARY: true, - ENABLE_SEARCH_SHORTCUTS: false, + ENABLE_SEARCH_SHORTCUTS: true, }; \ No newline at end of file -- cgit v1.2.3