From 5a9cce674bae38d5e53fda8bd6b13d9a1445f748 Mon Sep 17 00:00:00 2001
From: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Fri, 5 May 2017 12:27:38 +0100
Subject: [PATCH] Only use gtk_text_view_set_top_margin() with GTK 3.18+

It didn't exist before that version of GTK.
---
 xed/xed-view.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/xed/xed-view.c b/xed/xed-view.c
index 551e91a..e872783 100644
--- a/xed/xed-view.c
+++ b/xed/xed-view.c
@@ -257,7 +257,9 @@ xed_view_constructed (GObject *object)
     g_object_ref (priv->renderer);
     gtk_source_gutter_insert (gutter, priv->renderer, 0);
 
+#if GTK_CHECK_VERSION (3, 18, 0)
     gtk_text_view_set_top_margin (GTK_TEXT_VIEW (view), 2);
+#endif
 
     G_OBJECT_CLASS (xed_view_parent_class)->constructed (object);
 }