| commit | 2b997141cf4f7a0e3bf3be88232c1e3bafaa5328 | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Thu Jun 06 16:36:26 2019 +0200 |
| committer | omar <omarcornut@gmail.com> | Thu Jun 06 16:36:26 2019 +0200 |
| tree | daf5846551a65fcab21b56325ac7404a346278be | |
| parent | 431aa4e456158f463840f7a9be5e651e94a4d9b6 [diff] |
Made PushID() behave the same in 32-bit and 64-bit, by not padding the integer into a void*. (Also technically faster.)