I have ran into times where I would save a file and the previous error isn’t wiped from the current file. Is there a command to refresh the gutter errors in the salesforce workspace?
As a workaround, i would push a line so that the line number clears and then delete the new line. I feel like this is a workaround. I would expect the gutter to clear after syncing.