diff options
| -rw-r--r-- | pluma/pluma-prefs-manager-app.c | 8 | ||||
| -rw-r--r-- | 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; |