X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidgets.c;h=f6dbede80fe31454a3fe80e3ec1ac6be9341231b;hb=5166b8309e1fec33d5122de360ba212ad3107a2c;hp=0da5c6c73fd0a97db6e07044dce58ae09d7c9b03;hpb=2648cb6603262653fa660d0b7045450d5df6e6a9;p=pspp

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 <config.h>
 
+#include <gtksourceview/gtksourceview.h>
+
 #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 ();
 }