The extension determines if 'make getlibs' or 'make vscode' is required and does the right thing. However, it is not obvious that the extension is doing this and these operations take a while depending on the speed of the internet connection. The extension should make it more obvious what it is doing and when it is ready for the user.
The extension determines if 'make getlibs' or 'make vscode' is required and does the right thing. However, it is not obvious that the extension is doing this and these operations take a while depending on the speed of the internet connection. The extension should make it more obvious what it is doing and when it is ready for the user.