Button pin not working

[DV3Dprintservice]

i have a pico whit a dead pin 9, how can i make it so it uses pin 13 or something

hope there is a way!!

[salem83]

@DV3Dprintservice

picodeck/src/main.c

Line 31 in b79d2be

#define BUTTON_1_GPIO 1