From: John Darrington Date: Sat, 25 Aug 2012 16:58:31 +0000 (+0200) Subject: Update widgets.c from psppsheet branch X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c091e5bdc9621f851c800c9a68eb3fd7505e3358;p=pspp Update widgets.c from psppsheet branch --- diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c index 0da5c6c73f..f6dbede80f 100644 --- a/src/ui/gui/widgets.c +++ b/src/ui/gui/widgets.c @@ -1,5 +1,7 @@ #include +#include + #include "widgets.h" @@ -61,4 +63,8 @@ preregister_widgets (void) psppire_dialog_action_regression_get_type (); psppire_dialog_action_roc_get_type (); psppire_dialog_action_sort_get_type (); + + /* This seems to be necessary on Cygwin. + It ought not to be necessary. Having it here can't do any harm. */ + (void) gtk_source_view_get_type (); }