static Widget create_status_history(Widget parent)
{
static Widget history_shell = 0;
if (history_shell != 0)
return history_shell;
Arg args[10];
int arg;
arg = 0;
XtSetArg(args[arg], XmNallowShellResize, True); arg++;
XtSetArg(args[arg], XmNwidth, 10); arg++;
XtSetArg(args[arg], XmNheight, 10); arg++;
history_shell = verify(XmCreateMenuShell(parent, XMST("status_history"),
args, arg));
arg = 0;
XtSetArg(args[arg], XmNmarginWidth, 0); arg++;
XtSetArg(args[arg], XmNmarginHeight, 0); arg++;
XtSetArg(args[arg], XmNresizeWidth, True); arg++;
XtSetArg(args[arg], XmNresizeHeight, True); arg++;
XtSetArg(args[arg], XmNborderWidth, 0); arg++;
XtSetArg(args[arg], XmNshadowThickness, 0); arg++;
history_row = verify(XmCreateRowColumn(history_shell, XMST("row"),
args, arg));
XtManageChild(history_row);
arg = 0;
XtSetArg(args[arg], XmNresizable, True); arg++;
XtSetArg(args[arg], XmNalignment, XmALIGNMENT_BEGINNING); arg++;
history_label = verify(XmCreateLabel(history_row, XMST("label"),
args, arg));
XtManageChild(history_label);
return history_shell;
}
Widget XmCreateMenuShell_TNK(Widget parent, String name, ArgList arglist,Cardinal argcount) { return XmCreateMenuShell(parent, name, arglist, argcount);}
