Re: two more compilation issues

[John Darrington]

I pushed a workaraound for this.  I couldn't find out exactly at which 
gtk version this change occured, so I guessed.  If you find that I 
guessed wrong, then please update it accordingly.  

The warning should be harmless anyway.

J'

On Sun, May 19, 2013 at 10:11:40PM -0700, Ben Pfaff wrote:
     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);

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://keys.gnupg.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature