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);