See https://forums.raspberrypi.com/viewtopic.php?t=391600 for detail.
Appendix D of 'getting started with pico" details the steps to set up to use Eclipse as a development environment. However, as per the linked thread, this doesn't work for me - there are multiple errors when trying to create Eclipse project files for the examples.