Using libraries with VS code Arduino extension

Ok, I had copied my libraries from the Arduino folder into the workspace folder in an attempt to make it work, and it didn't make a difference. I'll try uninstalling the libraries and reinstalling them.