[gnome-builder] prefs: tweak spin-button size

[Christian Hergert <chergert src gnome org>]

commit f40e3b37241e7104792ad01ee7774e044b3cd14d
Author: Christian Hergert <christian hergert me>
Date:   Wed Dec 23 15:10:58 2015 -0800

    prefs: tweak spin-button size
    
    width-chars doesn't seem to work correctly right now, so instead we'll
    cheat and set a reasonable width-request.

 data/ui/ide-preferences-spin-button.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/ide-preferences-spin-button.ui b/data/ui/ide-preferences-spin-button.ui
index 0b69920..74e59bd 100644
--- a/data/ui/ide-preferences-spin-button.ui
+++ b/data/ui/ide-preferences-spin-button.ui
@@ -45,6 +45,8 @@
         <child>
           <object class="GtkSpinButton" id="spin_button">
             <property name="visible">true</property>
+            <!-- width-chars does not seem to work well (3.19.5) -->
+            <property name="width-request">120</property>
             <property name="valign">center</property>
           </object>
         </child>