summaryrefslogtreecommitdiff
path: root/Build/source/texk/xdvik/gui/xm_menu.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/xdvik/gui/xm_menu.c')
-rw-r--r--Build/source/texk/xdvik/gui/xm_menu.c4
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));
}