SELECTION_EVENT_TIME  538 src/pgtkterm.h #define SELECTION_EVENT_TIME(eventp)	\
SELECTION_EVENT_TIME 1723 src/xterm.h    #define SELECTION_EVENT_TIME(eventp)	\