On Sun, May 19, 2013 at 10:04:19PM -0700, Ben Pfaff wrote:
> GCC reports the following:
>
> ../src/ui/gui/psppire-data-editor.c: In function
> 'psppire_data_editor_class_init':
> ../src/ui/gui/psppire-data-editor.c:262:31: warning: assignment from
> incompatible pointer type
Hmm, there's something really weird here. The assignment in question is
to the 'switch_page' member of a GtkNotebookClass. The GTK+2 header
defines this member as:
void (* switch_page) (GtkNotebook *notebook,
#if !defined (GTK_DISABLE_DEPRECATED) || defined (GTK_COMPILATION)
GtkNotebookPage *page,
#else
gpointer page,
#endif
guint page_num);
_______________________________________________
pspp-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/pspp-dev
