XtNpickTop        766 src/xterm.c    #ifndef XtNpickTop
XtNpickTop       16066 src/xterm.c    		   XtNpickTop, (XtPointer) &xaw3d_pick_top, NULL);
XtNpickTop       16274 src/xterm.c    		   XtNpickTop, (XtPointer) &xaw3d_pick_top, NULL);