Update language configuration

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Closed fredrik-bakke closed 1 year ago

fredrik-bakke commented 1 year ago

This PR makes miscellaneous additions to the language configuration. Notably, it

Adds hole and pragma brackets as brackets.
Removes curly braces and parentheses as auto-closing pairs, as this interferes with agda-input.
Defines the word pattern [^\\s\\n\\.\\;\\{\\}\\(\\)\\@\\\"]+.

Resolves #44, resolves #149, resolves #162.

fredrik-bakke commented 1 year ago

It is possible that this also resolves #44. It at least helps on Mac.