Dominik Schrempf

Ability to disable pinch zoom

9

I am coming from https://github.com/qutebrowser/qutebrowser/issues/7663, but I am somehow unable to comment there: From my limited internet search, I understand that "Pinch Zoom" is implemented on the application level. That...

Can not export articles with LaTeX fragments

4

## Actual Behavior Export fails with `Debugger entered--Lisp error: (wrong-type-argument char-or-string-p [org-element-deferred org-element--substring (0 9) t])` ## Expected Behavior Export succeeds. ## How to Reproduce the Issue ### Example Org...

Remove `hie-compat`

4

After removing support for GHC 9.4, I was in the mood of cleaning up a bit more. While removing references to GHC 9.4, I realized that some parts of HLS...

HLS configuration options and `lsp-haskell`

4

Probably related: #99. I was worried about the alignment of configuration options in `lsp-haskell`, and the actuall options ("Configuration") provided by HLS. Looking into `lsp-haskell.el`, it seems like a good...

Warnings in Cabal files

3

When activating `lsp-mode` in Haskell Cabal files, I receive numerous warnings (I tried GHC 9.10.1, HLS 2.9.0.0 and HLS 2.10.0.0): ``` LSP :: Error from the Language Server: No plugins...

Status of this project and relation to `nael-mode`

3

Hello! What is the status of `lean4-mode`, and how does it relate to [`nael-mode`](https://codeberg.org/mekeor/nael)? In my experience, `nael-mode` worked much better than `lean4-mode`, and given the small size of our...

Interaction with `markdown-mode` code block fontification

11

If I activate `indent-bars` mode, syntax highlighting stops working for at least one tree-sitter enabled mode _in `markdown-mode` code blocks_ (`haskell-ts-mode`, see issue https://codeberg.org/pranshu/haskell-ts-mode/issues/56). For example: This is a bit...

Idea: `lsp-ui-doc-side 'other`

4

I often have the problem that the `lsp-ui-doc` overlay is hiding my cursors and I basically have to deactivate the doc to continue development. (I don't want to switch windows)....

Capture output of `eval` plugin and some girls scout changes

2

This PR contains some girl-scout changes as well as changes to how the `eval` plugin treats `stdout` and `stderr`. #### Eval plugin We now capture output to `stdout` and `stderr`...

This is a weird error/bug that is maybe related to my local setup. Usually, the `eval` plugin works just fine, but there is a specific project where it does not,...