{
if(GenericPopUp(historyOptions, _("Move list"), 7))
XtOverrideTranslations(historyOptions[0].handle, XtParseTranslationTable(historyTranslations));
- MarkMenu("menuView.Show Move History", 7);
+ MarkMenu("Show Move History", 7);
}
void
-HistoryShowProc (Widget w, XEvent *event, String *prms, Cardinal *nprms)
+HistoryShowProc ()
{
if (!shellUp[7]) {
ASSIGN(historyText, "");