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