diff options
| author | monsta <[email protected]> | 2019-07-30 17:59:11 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2019-07-30 17:59:11 +0300 |
| commit | dd729f5781affdf8ad369b42d1b0d211123bb544 (patch) | |
| tree | ce71bfc3463dcd38dfa65cbfe37fa64cc5a2ef11 | |
| parent | 6266a98800e5f0d571d8617a0d2265a3a7524f33 (diff) | |
| download | pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.bz2 pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.xz | |
fix build with GtkSourceView 3.22
| -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; |