SELECTION_EVENT_PROPERTY  537 src/pgtkterm.h #define SELECTION_EVENT_PROPERTY(eventp)	\
SELECTION_EVENT_PROPERTY 1607 src/xterm.h    #define SELECTION_EVENT_PROPERTY(eventp)	\