Re: two more compilation issues

[Ben Pfaff]

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);