[gnome-builder] editor: allow scrolling past the end of the buffer

[Christian Hergert <chergert src gnome org>]

commit 542eaea1aa30f91d2b856ca6a0a110744681e744
Author: Christian Hergert <christian hergert me>
Date:   Tue Sep 15 23:54:33 2015 -0700

    editor: allow scrolling past the end of the buffer
    
    We probably want to do this differently long term, but it's good enough
    to ship for 3.18. Sometimes we gotta cheat to ship!

 data/theme/shared.css |   14 ++++++++++++++
 1 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/shared.css b/data/theme/shared.css
index 5c58451..afd40c1 100644
--- a/data/theme/shared.css
+++ b/data/theme/shared.css
@@ -145,3 +145,17 @@ GbWorkspacePane .pane-separator {
 .filtered {
   opacity: .2;
 }
+
+
+/*
+ * XXX: Address this after 3.18
+ *
+ * allow scrolling past the end of the buffer.
+ * this helps when typing at the bottom of the screen is annoying.
+ *
+ * We probably want to make this configurable and generate the value
+ * with a custom css provider.
+ */
+IdeSourceView {
+  padding-bottom: 250px;
+}