diff options
| author | Stefano Karapetsas <[email protected]> | 2013-10-30 17:27:33 +0100 |
|---|---|---|
| committer | Stefano Karapetsas <[email protected]> | 2013-10-30 17:27:33 +0100 |
| commit | a7ce13a18613356b1c7266d342037efbe7d890a9 (patch) | |
| tree | e0f1bb0f347934bf772dde920e20beb670a8be41 | |
| parent | 1418f8639d7bc4ddd9218a89fe340fbffea8677a (diff) | |
| download | pluma-a7ce13a18613356b1c7266d342037efbe7d890a9.tar.bz2 pluma-a7ce13a18613356b1c7266d342037efbe7d890a9.tar.xz | |
Add gtksource.h include for GTK3
| -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> |