[gnome-terminal] profile: editor: Make spin button insensitive if unlimited is selected

[Christian Persch <chpe src gnome org>]

commit 79387ac6939ce27a8849cc9f81377539ee415c1d
Author: Christian Persch <chpe gnome org>
Date:   Tue Jan 22 14:46:58 2013 +0100

    profile: editor: Make spin button insensitive if unlimited is selected
    
    https://bugzilla.gnome.org/show_bug.cgi?id=692022

 src/profile-editor.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/src/profile-editor.c b/src/profile-editor.c
index 728ea1a..2e3b3e7 100644
--- a/src/profile-editor.c
+++ b/src/profile-editor.c
@@ -925,6 +925,13 @@ terminal_profile_edit (GSettings  *profile,
                    gtk_builder_get_object (builder,
                                            "scrollback-unlimited-checkbutton"),
                    "active", G_SETTINGS_BIND_GET | G_SETTINGS_BIND_SET);
+  g_settings_bind (profile, TERMINAL_PROFILE_SCROLLBACK_UNLIMITED_KEY,
+                   gtk_builder_get_object (builder,
+                                           "scrollback-box"),
+                   "sensitive", 
+                   G_SETTINGS_BIND_GET |
+                   G_SETTINGS_BIND_INVERT_BOOLEAN |
+                   G_SETTINGS_BIND_NO_SENSITIVITY);
   g_settings_bind_with_mapping (profile,
                                 TERMINAL_PROFILE_SCROLLBAR_POLICY_KEY,
                                 gtk_builder_get_object (builder,