exit (0);
}
+static void text_append_to(Widget w, String str)
+/* append text to a specified text widget */
+{
+ XawTextBlock txtblk;
+ XawTextPosition textend = XawTextGetInsertionPoint(w);
+
+ txtblk.ptr = str;
+ txtblk.length = strlen(str);
+ txtblk.firstPos = 0;
+ txtblk.format = FMT8BIT;
+
+ XawTextReplace(w, textend, textend, &txtblk);
+}
+
static void noargs_proc(Widget w, XtPointer client_data, XtPointer call_data)
/* use this for commands that take no arguments */
{
/* currently a stub */
+ text_append_to(w, XtName(w));
printf("Button %s pressed\n", XtName(w));
}