diff options
Diffstat (limited to 'Build/source/texk/xdvik/gui/Tip.c')
-rw-r--r-- | Build/source/texk/xdvik/gui/Tip.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/xdvik/gui/Tip.c b/Build/source/texk/xdvik/gui/Tip.c index 1033a54cc29..d0d7cd328a0 100644 --- a/Build/source/texk/xdvik/gui/Tip.c +++ b/Build/source/texk/xdvik/gui/Tip.c @@ -131,10 +131,10 @@ static XtResource resources[] = { XtRString, "fixed"}, {XmNwaitPeriod, XmCWaitPeriod, XtRInt, sizeof(int), offset(tip.waitPeriod), - XtRImmediate, (XtPointer) 800}, + XtRImmediate, (XtPointer)(ptrdiff_t)800}, {XmNcancelWaitPeriod, XmCCancelWaitPeriod, XtRInt, sizeof(int), offset(tip.cwp), - XtRImmediate, (XtPointer) 250}, + XtRImmediate, (XtPointer)(ptrdiff_t)250}, }; #undef offset |