Hover ErrorSeptember 25, 2023 ยท View on GitHubVSCode plugin to quickly go to next error Features Hover to the next/prev error