Naso Evangelou-Oost

Dotnet-interactive processes continue running even after shutdown/restart kernel commands issued form the VSCode UI and quitting the VSCode app

10

### Describe the bug Dotnet-interactive processes continue running even after shutdown/restart kernel commands issued form the VSCode UI and quitting the VSCode app. After investigating slow down issues on my...

Failure: executable "[...]mypy.exe" not found

5

This is the exact same issue as https://github.com/leinardi/mypy-pycharm/issues/12 which supposedly was fixed but apparently not for me. ### Step 1: Are you in the right place? - [x ] I...

Add option to disable automatic scrolling to next cell.

2

There is already an option "Always Scroll On New Cell** whose behavior is described: _Automatically scroll the interactive window to show the output of the last statement executed. **If false,...

document how to use pretty-simple as default ghci printer

4

I have pretty-simple set as the default printer for my project by putting the following in my .ghci file at the root of the project: ``` :set -ignore-package pretty-simple -package...

Cannot uninstall

7

### Please Confirm - [x] I have read the **[FAQ](https://github.com/ExistentialAudio/BlackHole#faq) and [Wiki](https://github.com/ExistentialAudio/BlackHole/wiki)** where most common issues can be resolved - [x] I have searched **[Discussions](https://github.com/ExistentialAudio/BlackHole/discussions)** to see if the same...

How to disable record selector hints? "$sel:..."

4

The latest HLS version has a feature to display record selector hints like in the screenshot below: Some members on my team don't like this and would like to disable...