summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2023-01-03 12:40:24 -0500
committerpommicket <pommicket@gmail.com>2023-01-03 12:40:24 -0500
commitc37d493327ded5952f46cbf39aef920e47c1d7d9 (patch)
treee9e4ac7eec0d500f0b4678bd97cf3d4edd9b18c8 /README.md
parent1c74c64c6429ebc3720e519cfb155b0a914e1c24 (diff)
use different keys for hover+highlights to be less distracting
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/README.md b/README.md
index fac0dba..4cbddae 100644
--- a/README.md
+++ b/README.md
@@ -136,11 +136,11 @@ Press Ctrl+space to autocomplete. If there is only one possible completion from
Otherwise, you'll get a popup showing all possible completions. You can press tab to select a completion (or click on it), and press
Ctrl+space/Ctrl+shift+space to cycle between suggestions.
-Hover over an identifier and press Shift to see its type and documentation ("hover information").
+Hover over an identifier and press F1 to see its type and documentation ("hover information").
-While your cursor is over an identifier, you can press Ctrl to highlight where it is used
+While your cursor is over an identifier, you can press F2 to highlight where it is used
("document highlights"). If you turn on `highlight-auto` in the settings, the highlights
-will appear even if you don't press Ctrl.
+will appear even if you don't press F2.
Press Ctrl+U to see usages of the identifier under the cursor. You can use Ctrl+\[ and Ctrl+\]
to navigate between them, just like build errors.