tree daf5846551a65fcab21b56325ac7404a346278be
parent 431aa4e456158f463840f7a9be5e651e94a4d9b6
author omar <omarcornut@gmail.com> 1559831786 +0200
committer omar <omarcornut@gmail.com> 1559831786 +0200

Made PushID() behave the same in 32-bit and 64-bit, by not padding the integer into a void*. (Also technically faster.)