warning: cast from pointer to integer of different size
--- nedit-5.6/source/file.c.yy 2008-11-05 04:17:20.000000000 -0500
+++ nedit-5.6/source/file.c 2009-11-10 16:20:39.000000000 -0500
@@ -1914,7 +1914,7 @@
if (XmToggleButtonGetState(w)) {
XtPointer userData;
XtVaGetValues(w, XmNuserData, &userData, NULL);
- *(int*) clientData = (int) userData;
+ *(XtPointer*)clientData = userData;
}
}
-- NEdit Develop mailing list - [email protected] http://www.nedit.org/mailman/listinfo/develop
