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 /pluma/pluma-prefs-manager-app.c | |
| parent | 6266a98800e5f0d571d8617a0d2265a3a7524f33 (diff) | |
| download | pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.bz2 pluma-dd729f5781affdf8ad369b42d1b0d211123bb544.tar.xz | |
fix build with GtkSourceView 3.22
Diffstat (limited to 'pluma/pluma-prefs-manager-app.c')
| -rw-r--r-- | pluma/pluma-prefs-manager-app.c | 8 |
1 files changed, 4 insertions, 4 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) |