diff options
| -rwxr-xr-x | pluma/dialogs/pluma-preferences-dialog.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pluma/dialogs/pluma-preferences-dialog.c b/pluma/dialogs/pluma-preferences-dialog.c index 66cff4f6..d475ae25 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> |