bradwilson, 24 days ago @nicholashead That setting does not exist any more, so I guess whatever the experiment was, it's over. I've also tried JetBrains Mono (Nerd Font) with the same problem.
@nicholashead That setting does not exist any more, so I guess whatever the experiment was, it's over.
I've also tried JetBrains Mono (Nerd Font) with the same problem.