[gnome-builder] editor: Bind use-spaces to use-tabs

[Christian Hergert <chergert src gnome org>]

commit d411fdc61a3f7d843c6086f7ac3b1c248c1f43dc
Author: Elias Entrup <elias-git flump de>
Date:   Wed Dec 13 21:04:22 2017 +0100

    editor: Bind use-spaces to use-tabs
    
    The "Spaces" button in the document preferences has now
    a GBinding to the "Tabs" button so it is not possible
    for both of them to be (in)active.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=791165

 src/libide/editor/ide-editor-properties.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/libide/editor/ide-editor-properties.ui b/src/libide/editor/ide-editor-properties.ui
index 5b4db73..b38dc2e 100644
--- a/src/libide/editor/ide-editor-properties.ui
+++ b/src/libide/editor/ide-editor-properties.ui
@@ -155,6 +155,7 @@
                         <property name="halign">fill</property>
                         <property name="action-name">source-view.use-spaces</property>
                         <property name="action-target">true</property>
+                        <property name="active" bind-source="tabs_button" bind-property="active" 
bind-flags="invert-boolean|bidirectional"/>
                       </object>
                     </child>
                     <child>