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
_______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
