X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidgets.c;h=37d13bf9723198f4d8a664de2370d207f2b9f240;hb=9a4fd397b9ef95cbeb033cd7d92a3bebfe8709fc;hp=b6948d9414a46647ebf2a1cb394188e30a0b90d1;hpb=dc6d0e08956c6ad42cc943b7496a192c71bdbe02;p=pspp

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index b6948d9414..37d13bf972 100644
--- a/src/ui/gui/widgets.c
+++ b/src/ui/gui/widgets.c
@@ -1,6 +1,6 @@
 #include <config.h>
 
-#include <gtksourceview/gtksourceview.h>
+#include <gtksourceview/gtksource.h>
 
 #include "widgets.h"
 
@@ -122,7 +122,7 @@ preregister_actions (void)
 
 
 /* Any custom widgets which are to be used in GtkBuilder ui files
-   need to be preregistered, otherwise GtkBuilder refuses to 
+   need to be preregistered, otherwise GtkBuilder refuses to
    acknowledge their existence. */
 void
 preregister_widgets (void)