Use XIL/XLI instead of make_number/XINT for converting descriptor to a ptr.
authorEli Zaretskii <eliz@gnu.org>
Thu, 18 Oct 2012 05:13:29 +0000 (07:13 +0200)
committerEli Zaretskii <eliz@gnu.org>
Thu, 18 Oct 2012 05:13:29 +0000 (07:13 +0200)
commit0b86d359eb52cef840345f7fd09b5f4342aede03
treecf6f40a1e99685727a2004930bfab592724478dd
parent9a85d8539c1685b90599a77c5b7872c8ce1a86c2
Use XIL/XLI instead of make_number/XINT for converting descriptor to a ptr.
More safety checks in using the pointer obtained from descriptor.
Not tested yet.
src/w32inevt.c
src/w32notify.c
src/w32term.c
src/w32term.h