• Paul Eggert's avatar
    Use void * for pointers in with_echo_area_buffer · 19e76f61
    Paul Eggert authored
    * src/xdisp.c (with_echo_area_buffer): Pass void * instead of
    ptrdiff_t, since the values are typically pointers and this ports
    better to (mostly-theoretical) hosts where ptrdiff_t is narrower
    than intptr_t.  All uses changed.
    19e76f61