diff options
Diffstat (limited to 'Build/source/texk/xdvik/gui/xm_menu.c')
-rw-r--r-- | Build/source/texk/xdvik/gui/xm_menu.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/xdvik/gui/xm_menu.c b/Build/source/texk/xdvik/gui/xm_menu.c index 51a2bedbd53..6b5d766852a 100644 --- a/Build/source/texk/xdvik/gui/xm_menu.c +++ b/Build/source/texk/xdvik/gui/xm_menu.c @@ -107,7 +107,7 @@ update_menu_labels(Widget menu) XmNchildren, &children, NULL); -/* for (i = 0; i < num_children; i++) { */ + /* for (i = 0; i < num_children; i++) { */ for (i = 0; i < (int)file_history_size(); i++) { int dummy_page; char *filename; @@ -152,7 +152,7 @@ filehist_select_cb(Widget w, XtPointer client_data, XtPointer call_data) char *fname; int idx; -/* UNUSED(w); */ + /* UNUSED(w); */ UNUSED(call_data); UNUSED(client_data); @@ -172,7 +172,7 @@ filehist_select_cb(Widget w, XtPointer client_data, XtPointer call_data) return; } if ((fname = file_history_get_elem(idx, &pageno)) == NULL) { - statusline_print(STATUS_MEDIUM, "Error accessing file %d of history", idx); + statusline_error(STATUS_MEDIUM, "Error accessing file %d of history", idx); return; } @@ -242,7 +242,7 @@ filehist_submenu(int idx, const char *filename, int pageno, void *data) sprintf(buf, "%d %s", idx + 1, filename); TRACE_GUI((stderr, "Creating menu `%s'", buf)); w = XtVaCreateManagedWidget(buf, xmPushButtonGadgetClass, menu, -/* XmNmnemonic, buf[0], */ + /* XmNmnemonic, buf[0], */ XmNuserData, menu, NULL); if (idx + 1 < 10) { |