Unfortunately, for the time being, that would mean copy & paste. You can download the libraries that you’ve used by clicking their github icon.
Keep these points in mind when working with Dev though: Particle Dev Tips
You might find the CLI to be a more comfortable way to work ‘locally’, allowing you to use any IDE you prefer.