From a7ce13a18613356b1c7266d342037efbe7d890a9 Mon Sep 17 00:00:00 2001
From: Stefano Karapetsas <stefano@karapetsas.com>
Date: Wed, 30 Oct 2013 17:27:33 +0100
Subject: [PATCH] Add gtksource.h include for GTK3

---
 pluma/dialogs/pluma-preferences-dialog.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pluma/dialogs/pluma-preferences-dialog.c b/pluma/dialogs/pluma-preferences-dialog.c
index 66cff4f..d475ae2 100755
--- a/pluma/dialogs/pluma-preferences-dialog.c
+++ b/pluma/dialogs/pluma-preferences-dialog.c
@@ -37,6 +37,10 @@
 #include <string.h>
 
 #include <glib/gi18n.h>
+#include <gtk/gtk.h>
+#if GTK_CHECK_VERSION (3, 0, 0)
+#include <gtksourceview/gtksource.h>
+#endif
 
 #include <pluma/pluma-prefs-manager.h>