widgets: #include missing header file.

It didn't build for me otherwise.

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index 008d37e52a30440ccf5200e41e28fd8005ef7750..c4f809906759a510252741909cc9c5079b1126af 100644 (file)
--- 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"