OgmiosVoice

I had no problem importing the Gradle project using Eclipse 2019-03 (v4.11) and the built-in Buildship plugin 3.0.1.v20181217-1554. You just need to add the following line to `build.gradle`: ```groovy apply...

Another way to reproduce it: 1. Open (a larger?) document 1. Enable LTeX vscode extension / Start spell check 1. Disable LTeX vscode extension 1. Reload (select `Reload Required`) In...

Unfortunately I can't. I don't have too much ruby experience, no experience at all with Prawn, and I will lack any free time in the following period.

Could you please retry while keeping e.g. `a` pressed? (This was my original test, and I also think `Enter` would trigger some other behaviour.) If it is still not visible,...

On windows it is still present in **v1.67.2**. The CPU usage increase is visible also in the **Performance monitor** of **Developer Tools**. But I can also see in **Task Manager**...

I don't like unnecessary duplication, so no, I won't publish it. This pull request should have been already merged a long time ago, is it provides a fix for multiple...

Rebased over v3.0.64

> @ogmios-voice curious, do you by any chance have this published to the VS Code marketplace somewhere? I'd love to try the fix out, but rather not build the thing...