search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Backslash is not part of a word #51

Closed fizruk closed 1 year ago

fizruk commented 1 year ago

This fixes the compatibility problem with latex-input extension: after this change, backslash can again trigger latex-input.

Screenshot 2023-09-28 at 14 15 25
fizruk commented 1 year ago

Autocomplete still works, of course :)