Matus Goljer

1. `turn-on-smartparens-strict-mode` starts the mode except in modes on the ignore list `sp-ignore-modes-list` or special buffers. This is described in the documentation. 2. use `smartparens-global-strict-mode` which uses `turn-on-smartparens-strict-mode` to enable...

The global mode is generated by Emacs and this is the documentation: > (smartparens-global-strict-mode &optional ARG) > Toggle Smartparens-Strict mode in all buffers. With prefix ARG, enable Smartparens-Global-Strict mode if...

The problem is that `$` in latex mode is bound to some command which does not fire `self-insert-command` which is what `delete-selection-mode` uses as a hook. So the region is...

It works for me with the default config on emacs 26.1, I can't repro this.

I have some more bug fixes that I want to finish before pushing a release. However I can't give you any guarantees about stability. I'm not sure how good a...

There is no way to locally detect what is balanced and what isn't. Using strict mode helps prevent deleting delimiters. Simply not inserting a pair if we are in front...

There's also https://github.com/Fuco1/smartparens/issues/463

Is `Coq` in any way related to ML? I used it a couple years ago but as far as I remember it's a completely different thing. So probably a separate...

There is `sp-comment`, but it behaves a little bit differently. You can try it out and see if it works for you I think the paredit behaviour might make a...

Personally I'm not a huge fan, I never got used to it. The function only exists because some users asked for it as we didn't aim to emulate paredit completely...