From 4a4fa6634a464a5e86a9520afeee1c5bf631ad11 Mon Sep 17 00:00:00 2001 From: Abdelghani Alidra Date: Thu, 12 Dec 2024 10:34:02 +0100 Subject: [PATCH] document shortcuts for MacOs --- editors/vscode/README.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/editors/vscode/README.md b/editors/vscode/README.md index 61694845a..fc6678e72 100644 --- a/editors/vscode/README.md +++ b/editors/vscode/README.md @@ -5,14 +5,16 @@ 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) +- ``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 * (or the beginning) +- ``Ctrl+Down``: go to the next proof * (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 highlight is always centered in the window when keybindings are pressed) - ``Shift+Alt+w``: center proof highlight in the current window + + * In `Mac OS X`, ``Ctrl+Up/Down/Down`` are the shortcuts for switching between workspaces. We recommand the definition of new key bindings for `go to the previous/next proof` in ``Code->Preferences->keyboard shortcuts`` (also reachable with `Command+K Command+S`). The advised shortcuts are `Ctrl+Option+Up` and `Ctrl+Option+Down` **Hover and go-to-definition**