[gnome-builder] prefs: add ui preference for overscroll

[Christian Hergert <chergert src gnome org>]

commit d998ed19a81a511b2881b2912ddc946f8517bc85
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 21 16:18:22 2015 -0800

    prefs: add ui preference for overscroll
    
    https://bugzilla.gnome.org/show_bug.cgi?id=742933

 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 0e98118..4d29c29 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -120,6 +120,7 @@ ide_preferences_builtin_register_editor (IdePreferences *preferences)
   ide_preferences_add_list_group (preferences, "editor", "position", _("Cursor"), 0);
   ide_preferences_add_switch (preferences, "editor", "position", "org.gnome.builder.editor", 
"restore-insert-mark", NULL, NULL, _("Restore cursor position"), _("Restore 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_spin_button (preferences, "editor", "position", "org.gnome.builder.editor", 
"overscroll", NULL, _("Overscroll"), _("Allow the editor to scroll past the end of the buffer"), NULL, 20);
 
   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 line number at beginning of each line"), NULL, 0);