[paragui-users] widget IDs

[Keith Swyer]

just curious why widget ids are using standard int instead of say Uint or
Uint32 typedefs from SDL?? i know it would be a lot of widgets to reach even
the smallest int maximum on any OS, but i have been looking a a hashing
scheme for widgets using their id, but need 32-bits...   anyway, for now i'm
just going to try using map<Uint32, int, less<int> >.

--Keith