If texlab is not installed and on PATH, with the user relying on the extension to download the latest release from GitHub, there is a potential for network errors like the one described in the title. Currently, the extension returns the network error, but it could instead check if there is already a release that was downloaded before. In this case it should be used as a backup instead of failing to launch any version of texlab.
lnay
commented
2 hours ago
If
texlabis not installed and on PATH, with the user relying on the extension to download the latest release from GitHub, there is a potential for network errors like the one described in the title. Currently, the extension returns the network error, but it could instead check if there is already a release that was downloaded before. In this case it should be used as a backup instead of failing to launch any version oftexlab.