ronter Profile Topics Started Replies Created Engagements Favorites Search replies: Forum Replies Created Log In Register Lost Password Viewing 1 post (of 1 total) Author Posts January 18, 2023 at 13:49 in reply to: Can't change Raspberry Pi Pico SDK #33719 ronterParticipant So, it appears that the new selected SDK is used for compile, just the properties page puts the name of the previously selected SDK in the pull-down when trying to change it and using the [APPLY] button. Author Posts Log In Register Lost Password Viewing 1 post (of 1 total)