X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidgets.c;h=979224fe4152331227d6597cf3259e08fb996cb5;hb=7b4aa24d8527b6d69d781148e0995658a96120b9;hp=843f1f3c414023eb4096f0e2e603e2661e84d9ff;hpb=77c129d43e0d24192869d60f9ed928746cf01d7f;p=pspp

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index 843f1f3c41..979224fe41 100644
--- a/src/ui/gui/widgets.c
+++ b/src/ui/gui/widgets.c
@@ -1,11 +1,15 @@
+#include <config.h>
+
 #include "widgets.h"
 
+
 #include "psppire-dialog.h"
 #include "psppire-selector.h"
 #include "psppire-vbuttonbox.h"
 #include "psppire-hbuttonbox.h"
 #include "psppire-keypad.h"
 #include "psppire-acr.h"
+#include "psppire-dictview.h"
 
 
 /* Any custom widgets which are to be used in GtkBuilder ui files
@@ -20,4 +24,5 @@ preregister_widgets (void)
   psppire_hbutton_box_get_type ();
   psppire_keypad_get_type ();
   psppire_acr_get_type ();
+  psppire_dict_view_get_type ();
 }