viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10 stars 11 forks source link

Support `$` in identifiers #429

Open zgrannan opened 9 months ago

zgrannan commented 9 months ago

The change to editor.wordSeparators in package.json ensures that identifiers containing $ are treated as a single word (currently, they are split on the $ symbol. This is useful for extensions such as vscodevim that allow for operators to be performed on words (although there are still some issues, for example: https://github.com/VSCodeVim/Vim/issues/8190).

The change to wordPattern in viper-configuration is analogous, but changes different behaviour within vscode. More details are available here: https://code.visualstudio.com/api/language-extensions/language-configuration-guide#word-pattern