Raspberry Pi Pico W, how to disable timers with Keyboard Interrupt triggered?

[Jibun no kage]

On a Raspberry Pi Pico W, how to disable timers with Keyboard Interrupt triggered? Apparently once a timer is setup and active, there is no way to actually stop it?

[Lobo-T]

https://docs.micropython.org/en/latest/ ... mer.deinit

Catch the keyboard interrupt, deinit the timer, the raise keyboard interrupt again?

[Jibun no kage]

Yup, i figured it out later the same day I posted the question, once I got the deinit( ) right, that did the trick.