I noticed that even on my linux install, xboard isn’t even sending a call for
“xterm” when man xboard is selected under the help menu. Info works just fine
though.
But something is not right with this passage under gtk/xboard.c:
ManInner (Widget w, XEvent *event, String *prms, Cardinal *nprms)
{ // called as key binding
char buf[MSG_SIZ];
String name;
if (nprms && *nprms > 0)
name = prms[0];
else
name = "xboard";
snprintf(buf, sizeof(buf), "xterm -e man %s &", name);
system(buf);
}
#endif
void
ManProc ()
{ // called from menu
#ifdef TODO_GTK
ManInner(NULL, NULL, NULL, NULL);
#endif
}
Of course this works in Xaw version of xboard, so I wonder if the #ifdef
TODO_GTK is where it’s getting hung up.
_______________________________________________
Bug-XBoard mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-xboard
