Hi Andrew,

This is OK, interrupt on falling edge.
Code:
INTCON2.6 = 0
Also add that INT_ENABLE part as Henrik suggested. Then it should work.

Q: Isn't it so that INT_Handler execution cannot be interrupted (e.g interrupt in interrupt sequence)?
If yes, then debounce filtering is not needed, because first falling edge trigger INT_Handler. Ringing is ignored during interrupt execution time.

BR,
-Gusse-