From 810d4bfefef2c938a7a17700cb5c68442af6fbe5 Mon Sep 17 00:00:00 2001 From: Aaron Loucks Date: Fri, 7 Dec 2018 21:36:17 -0500 Subject: [PATCH] Clarify show_hover_context default value --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 42199756447..c7111e25269 100644 --- a/README.md +++ b/README.md @@ -139,9 +139,10 @@ and the following unstable options: first paragraph is recorded. This option _currently_ has little to no effect on hover tooltips. The save-analysis docs are only used if source extraction fails. This option has no effect on the standard library. -* `show_hover_context` show additional context in hover tooltips when available. - This is often the local variable declaration. When set to false the content is - only available when holding the `ctrl` key in some editors. +* `show_hover_context` (`bool`, defaults to `true`) show additional context in + hover tooltips when available. This is often the local variable declaration. + When set to false the content is only available when holding the `ctrl` key in + some editors. ## Troubleshooting