diff options
Diffstat (limited to 'Build/source/texk/xdvik/gui/xm_menu.c')
-rw-r--r-- | Build/source/texk/xdvik/gui/xm_menu.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/xdvik/gui/xm_menu.c b/Build/source/texk/xdvik/gui/xm_menu.c index 6b5d766852a..1a117c24856 100644 --- a/Build/source/texk/xdvik/gui/xm_menu.c +++ b/Build/source/texk/xdvik/gui/xm_menu.c @@ -216,7 +216,7 @@ filehist_menu_add_entry(const char *filename) if (num_children + 1 < 10) { XtVaSetValues(w, XmNmnemonic, buf[0], NULL); } - XtAddCallback(w, XmNactivateCallback, filehist_select_cb, (XtPointer)(num_children + 1)); + XtAddCallback(w, XmNactivateCallback, filehist_select_cb, cast_int_to_XtPointer(num_children + 1)); update_menu_labels(menu); @@ -248,7 +248,7 @@ filehist_submenu(int idx, const char *filename, int pageno, void *data) if (idx + 1 < 10) { XtVaSetValues(w, XmNmnemonic, buf[0], NULL); } - XtAddCallback(w, XmNactivateCallback, filehist_select_cb, (XtPointer)idx); + XtAddCallback(w, XmNactivateCallback, filehist_select_cb, cast_int_to_XtPointer(idx)); } |