Jan
Escaping the space with a backslash doesn't help. I tried that already.
Seems so - I did not have time to test it, but it looks as if it should.
Thanks a lot, this is of great help! I'll update this thread with my findings (if any ;)).
> ps ax | grep LanguageServer | grep -v \"grep\" | awk '{print $1}' | xargs kill; That's a nice snippet! For me, it was ``` ps ax | grep...
output from `ps ux | grep bruno` ``` jan 37102 0.5 0.0 2720 1860 ? S 11:59 0:00 bwrap --args 38 bruno jan 37114 0.5 0.0 2720 1280 ? S...
Ok, something had been stuck here. I switched around different themes and suddenly color changed to what i was supposed to be, -- jan //jan.limpens.com ---- Ein Di, 16 Mär...
> Hmmm, you did make me notice a bug in the border code. Apparently there's a tiny sliver doesn't get repainted. It sticks with whatever color it had when the...
I did not find an option to set border thickness. -- jan //jan.limpens.com ---- Ein Di, 16 Mär 2021 11:37:17 -0300 Chris Holland ***@***.***> schrieb ---- > > This, on...
Ok, found it, but I did not see any artefacts after doing what you described. -- jan //jan.limpens.com ---- Ein Di, 16 Mär 2021 11:46:26 -0300 Chris Holland ***@***.***> schrieb...