[gnome-builder] prefs: add spin button for scroll offset

[Christian Hergert <chergert src gnome org>]

commit e31abdf5638f7eb5ccbfa4e0dede7f5844a8f9f8
Author: Christian Hergert <chergert redhat com>
Date:   Sat Nov 7 18:14:25 2015 -0800

    prefs: add spin button for scroll offset

 libide/preferences/ide-preferences-builtin.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index 747afde..7122895 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -117,6 +117,7 @@ ide_preferences_builtin_register_editor (IdePreferences *preferences)
 
   ide_preferences_add_list_group (preferences, "editor", "position", NULL, 0);
   ide_preferences_add_switch (preferences, "editor", "position", "org.gnome.builder.editor", 
"restore-insert-mark", NULL, NULL, _("Restore cursor position"), _("Restore the cursor position when a file 
is reopened"), NULL, 0);
+  ide_preferences_add_spin_button (preferences, "editor", "position", "org.gnome.builder.editor", 
"scroll-offset", NULL, _("Scroll Offset"), _("Minimum number of lines to keep above and below the cursor"), 
NULL, 10);
 
   ide_preferences_add_list_group (preferences, "editor", "line", _("Line Information"), 50);
   ide_preferences_add_switch (preferences, "editor", "line", "org.gnome.builder.editor", 
"show-line-numbers", NULL, NULL, _("Line numbers"), _("Show the line number at the beginning of each line"), 
NULL, 0);