Skip to content

Renewed support for Neovim#5

Open
omaralkhatib03 wants to merge 4 commits intoThreeFx:mainfrom
omaralkhatib03:main
Open

Renewed support for Neovim#5
omaralkhatib03 wants to merge 4 commits intoThreeFx:mainfrom
omaralkhatib03:main

Conversation

@omaralkhatib03
Copy link

I had issues getting this working with NeoVim. Namely every call to nv_set_buff kept crasshing. In addition with HTML output enabled, params.content prints a massive amount of unreadable HTML code.

To fix both issues.

  1. I added an async function to write to the output buffer which seems to work.
  2. I uses html-to-text output to parse the output of isabelles vscode-lsp

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant