gobbedy
gobbedy
Woah. I just restarted the service, and the issue remained. Sure enough I looked at my log, and the same warning just popped up: ```Nov 16 13:24:30 kaligg logid[3787]: [WARN]...
and same with the Brasileiro league
Ok, i think i've figured out how to reproduce. This seems to happen whenever I toggle the Primary Side Bar (using Ctrl-B) I have no idea why that would cause...
Oddly, if I toggle the Primary Side Bar using the menu (View->Appearance->Primary Side Bar), the language server does not crash. It's only when I use the Ctrl-B shortcut
I just checked my keybings, and Ctrl-B appears to be only assigned to 'Toggle Primary Side Bar Visibility', so that seems to rule out the Ctrl-B shortcut having any other...
I noticed that this happens at various other times. The one other context that I can reproduce reliably is by hitting "Ctrl-Z" in any open .sv document (I'm in windows,...
This is a showstopper for me. Would be grateful for some help.
I tried various versions of the vscode verible extensions and I get the same issue in all of them. Everything from the latest version (0.0.3890) to the oldest available version...
I use remote-ssh, not sure if relevant?
I tried going back to the oldest available version of verible itself (ie the language server itself) using the github, ie v0.0-3795, with the corresponding 0.0.3795 version of the vscode...