diff man/mini.texi @ 42720:1217a83a82e4

(parse_button): New parameter xbutton. Callers changed. (w32_read_socket): Handle new "XBUTTON" messages.
author Jason Rumney <jasonr@gnu.org>
date Sun, 13 Jan 2002 12:16:05 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff