wp
/
xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Only use gtk_text_view_set_top_margin() with GTK 3.18+ 

It didn't exist before that version of GTK.
This commit is contained in:
Clement Lefebvre 2017-05-05 12:27:38 +01:00
parent 7291231cea
commit 5a9cce674b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
xed/xed-view.c
View File

@ -257,7 +257,9 @@ xed_view_constructed (GObject *object)
g_object_ref (priv->renderer); g_object_ref (priv->renderer);
gtk_source_gutter_insert (gutter, priv->renderer, 0); 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); gtk_text_view_set_top_margin (GTK_TEXT_VIEW (view), 2);
#endif
G_OBJECT_CLASS (xed_view_parent_class)->constructed (object); G_OBJECT_CLASS (xed_view_parent_class)->constructed (object);
} }