diff -up xfig.3.2.5c/w_indpanel.c~ xfig.3.2.5c/w_indpanel.c
--- xfig.3.2.5c/w_indpanel.c~ 2011-09-30 21:27:36.000000000 +0200
+++ xfig.3.2.5c/w_indpanel.c 2014-06-18 16:39:38.783389253 +0200
@@ -1266,7 +1266,7 @@ static void
set_arrow_size_state(Widget w, XtPointer closure, XtPointer call_data)
{
Boolean state;
- int which;
+ intptr_t which;
Pixel bg1, bg2, fg1, fg2;
/* check state of the toggle and set/remove checkmark */