From a5788a2a42fa30e54ea5f836219ca385c58a1bd0 Mon Sep 17 00:00:00 2001 From: Abdelghani Alidra Date: Tue, 17 Dec 2024 17:58:00 +0100 Subject: [PATCH] update documentation and changes and minor fixes in README --- doc/vscode.rst | 32 +++++++++++++++++++++----------- editors/vscode/CHANGES.md | 9 +++++++++ editors/vscode/README.md | 6 +++--- 3 files changed, 33 insertions(+), 14 deletions(-) diff --git a/doc/vscode.rst b/doc/vscode.rst index f67936484..bcc958b94 100644 --- a/doc/vscode.rst +++ b/doc/vscode.rst @@ -23,17 +23,27 @@ Make sure you have a `lambdapi.pkg Preferences->keyboard shortcuts (also reachable with Ctrl+K Ctrl+S or Command+K Command+S in Mac OS X). **Hover and go-to-definition** diff --git a/editors/vscode/CHANGES.md b/editors/vscode/CHANGES.md index bb8d98305..8e23e95dc 100644 --- a/editors/vscode/CHANGES.md +++ b/editors/vscode/CHANGES.md @@ -3,6 +3,15 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/), and this project adheres to [Semantic Versioning](https://semver.org/). +## Unreleased + +### Added + +### Fixed + +### Changed +- Changed the `go to the previous/next proof` commands shortcuts for Mac OS X operating system because previous ones are used by Mac OS. + ## [0.2.2] - code refactoring of the client for maintenability. - fix the bug that causes the proof navigation to malfunction when the `Goals` panel is closed by the user. Now the panel is recreated whenever needed. If focus is taken away frol the `Goals` panel, focus is given back to it when user starts navigating proofs again. diff --git a/editors/vscode/README.md b/editors/vscode/README.md index 3ebba8b96..429f45127 100644 --- a/editors/vscode/README.md +++ b/editors/vscode/README.md @@ -18,14 +18,14 @@ You can navigate in proof with the following key-bindings: ***Mac OS X*** - ``Ctrl+fn+Right``: go one step forward - ``Ctrl+fn+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+Alt+Up``: go to the previous proof (or the beginning) +- ``Ctrl+Alt+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 -Please note that these key bindings can be changed in Code->Preferences->keyboard shortcuts (also reachable with Ctrl+K Ctrl+S or Command+K Command+S in Mac OS X). +Please note that these key-bindings can be changed in Code->Preferences->keyboard shortcuts (also reachable with Ctrl+K Ctrl+S or Command+K Command+S in Mac OS X). **Hover and go-to-definition**