Configurator and IRQn-DS

Hello,

I'd like to use one of the IRQn-DS pins, but don't see how to select those channels in the configurator.  For example, the configurator will allow me to enter 13 in the channel parameter for the external interrupt framework, but it seems to not allow any non numeric entry.

Is it possible to use the deep sleep interrupt capable pins with the external interrupt framework?  If so, what is the syntax to configure?

Thanks,

Steve