Paul Nelson
Paul Nelson
## Expected behavior Modify `smartparens-latex.el` to contain the following additional local pair definition: ``` (sp-local-pair "\\left\\langle" "\\right\\rangle" :post-handlers '(sp-latex-insert-spaces-inside-pair)) ``` Open a LaTeX-mode buffer containing `$\left\langle \right\rangle$`. Put the cursor...
This adds an option `gptel-curl-convert-markdown-to-org` that allows the user to disable the conversion from markdown to org, which can be convenient in some situations (e.g., when the responses are streamed...
I've tested the following setups: (1) Emacs master, pdf-tools 1.1.0 (2) Emacs 29.4, pdf-tools 1.1.0 The issue appears with (1) but not (2), so I reported it on the Emacs...
Allows attaching the current buffer to the Sage process. This complements the existing attach-file function in the same way that send-buffer complements load-file.
These are available in the fork https://github.com/ultronozm/lean4-mode and I would be happy to upstream them here once eglot is available here as an lsp backend. There is the further issue...
It can be useful to see the goal state without having the dedicated *Lean Goal* buffer visible (which has the further disadvantage of being shared by all lean4 buffers). I've...
I currently have the following in my init.el, which seems to be aligned with the aims of this package. ```elisp (use-package mairix :ensure nil :defer t :bind ("C-z m" ....
* attrap.el (attrap-LaTeX-fixer): Add new fixers for intersentence spacing, enclosing parentheses with braces, and fixing punctuation in front of quotes.
This is another feature I'd be keen to see included, and would be happy to help with. I've noticed that `caching` is recorded as a capability, so figured I'd check...
Hi, thanks for an interesting package! I don't know to what extent you're open to suggestions or informal contributions, but if so, here's a light modification of a command that's...