feat: [lean4web] add option to change selectionMoveMove

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

170 stars 49 forks source link

feat: [lean4web] add option to change selectionMoveMove #508

Open abentkamp opened 4 months ago

abentkamp commented 4 months ago

The selections don't move correctly when using monaco editor. This PR allows us to switch the selection move mode. The functionality of the VSCode extension is unchanged.