From dd729f5781affdf8ad369b42d1b0d211123bb544 Mon Sep 17 00:00:00 2001 From: monsta Date: Tue, 30 Jul 2019 17:59:11 +0300 Subject: fix build with GtkSourceView 3.22 --- pluma/pluma-prefs-manager-app.c | 8 ++++---- pluma/pluma-view.c | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pluma/pluma-prefs-manager-app.c b/pluma/pluma-prefs-manager-app.c index 47f18b07..97f0db0b 100644 --- a/pluma/pluma-prefs-manager-app.c +++ b/pluma/pluma-prefs-manager-app.c @@ -1503,9 +1503,9 @@ pluma_prefs_manager_space_drawer_generic (GSettings *settings, } #else static void -pluma_prefs_manager_draw_generic (GSettings *settings, - gint level, - GtkSourceSpaceTypeFlags type) +pluma_prefs_manager_draw_generic (GSettings *settings, + gint level, + GtkSourceDrawSpacesFlags type) { GList *views; @@ -1518,7 +1518,7 @@ pluma_prefs_manager_draw_generic (GSettings *settings, while (l != NULL) { - GtkSourceSpaceTypeFlags value; + GtkSourceDrawSpacesFlags value; value = gtk_source_view_get_draw_spaces (GTK_SOURCE_VIEW (l->data)); if (level > 0) diff --git a/pluma/pluma-view.c b/pluma/pluma-view.c index 82546206..eb503d15 100644 --- a/pluma/pluma-view.c +++ b/pluma/pluma-view.c @@ -430,7 +430,7 @@ pluma_set_source_space_drawer (GtkSourceView *view) static void pluma_set_source_space_drawer (GtkSourceView *view) { - GtkSourceSpaceTypeFlags flags = 0; + GtkSourceDrawSpacesFlags flags = 0; if (pluma_prefs_manager_get_draw_spaces () > 0) flags |= GTK_SOURCE_DRAW_SPACES_SPACE; -- cgit v1.2.1