vscode : fix shortcuts in README

Alidra · Dec 15, 2024 · 8500d1e · 8500d1e
1 parent 1ded943
commit 8500d1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/editors/vscode/README.md b/editors/vscode/README.md
@@ -6,8 +6,8 @@ Goals are visualised in a panel on the right side of the editor.
 You can navigate in proof with the following key-bindings:
 
 ***Linux and Windows***
-- ``Ctrl+Right`` (``Ctrl+fn+Right`` in `Mac OS X`): go one step forward
-- ``Ctrl+Left`` (``Ctrl+fn+Left`` in `Mac OS X`): go one step backward
+- ``Ctrl+Right``: go one step forward
+- ``Ctrl+Left``: go one step backward
 - ``Ctrl+Up``: go to the previous proof <sup>*</sup> (or the beginning)
 - ``Ctrl+Down``: go to the next proof <sup>*</sup> (or the end)
 - ``Ctrl+Enter``: go to the position of the cursor