XtNpickTop        698 src/xterm.c    #ifndef XtNpickTop
XtNpickTop       15701 src/xterm.c    		   XtNpickTop, (XtPointer) &xaw3d_pick_top, NULL);
XtNpickTop       15909 src/xterm.c    		   XtNpickTop, (XtPointer) &xaw3d_pick_top, NULL);