Document Macos shortcuts

editors/vscode/README.md

@@ -5,15 +5,26 @@ This extension provides support for the [Lambdapi](https://github.com/Deducteam/
 Goals are visualised in a panel on the right side of the editor.
 You can navigate in proof with the following key-bindings:
 
-- ``Ctrl+Right``: go one step forward
-- ``Ctrl+Left``: go one step backward
-- ``Ctrl+Up``: go to the previous proof (or the beginning)
-- ``Ctrl+Down``: go to the next proof (or the end)
+***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+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
+- ``Ctrl+Alt+c``: toggle cursor mode (proof highlight follows the cursor or not)
+- ``Ctrl+Alt+w``: toggle follow mode (proof highligsht is always centered in the window when keybindings are pressed)
+- ``Shift+Alt+w``: center proof highlight in the current window
+
+***Mac OS X***
+- ``Ctrl+fn+Right``: go one step forward
+- ``Ctrl+fn+Left``: go one step backward
 - ``Ctrl+Enter``: go to the position of the cursor
 - ``Ctrl+Alt+c``: toggle cursor mode (proof highlight follows the cursor or not)
 - ``Ctrl+Alt+w``: toggle follow mode (proof highlight is always centered in the window when keybindings are pressed)
 - ``Shift+Alt+w``: center proof highlight in the current window
 
+For `go to the previous proof` and `go to the next proof`, Key bindings need to be changed in Code->Preferences->keyboard shortcuts (also reachable with Command+K Command+S) because default ones are used by Mac OS X
+
 **Hover and go-to-definition**
 
 Hovering a token will display its type if available.