WXK_PRIOR/NEXT vs. WXK_PAGEUP/PAGEDOWN

In wxGtk I just run across a little bit of confusion in the key
mappings. Is this intentional?

The Pageup/Pagedown keys on my keyboard (US Logitech iTouch) generate
keycodes as returned from GetKeyCode() in a wx key event 212/213.
These are the values associated with wx.WXK_PRIOR and wx.WXK_NEXT,
respectively.

Though the paradigm is similar when paging through data, I was
wondering whether the library should really contradict the keyboard
labelling, and more significantly, whether responding to WXK_PRIOR and
WXK_NEXT instead of WXK_PAGEUP and WXK_PAGEDOWN will break
compatibility with other peoples' page up/page down keys. Anyone have
insight into this?

Oh yeah, this is on wxPython 2.5.1 with Gtk 2.4.

Brian

ยทยทยท

--
The years ahead pick up their dark bags.
They move closer. There's a slight rise in the silence

then nothing.