[gnome-builder] settings: add overwrite-braces to settings widget

[Christian Hergert <chergert src gnome org>]

commit ed5030bbc18d57f0227ed8324f2ba56e780676dc
Author: Christian Hergert <christian hergert me>
Date:   Thu Dec 18 21:59:16 2014 -0800

    settings: add overwrite-braces to settings widget

 src/editor/gb-editor-settings-widget.c        |    5 +++++
 src/resources/ui/gb-editor-settings-widget.ui |   17 +++++++++++++++++
 2 files changed, 22 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-settings-widget.c b/src/editor/gb-editor-settings-widget.c
index 31a8d0d..d19692c 100644
--- a/src/editor/gb-editor-settings-widget.c
+++ b/src/editor/gb-editor-settings-widget.c
@@ -29,6 +29,7 @@ struct _GbEditorSettingsWidgetPrivate
   GtkCheckButton *highlight_current_line;
   GtkCheckButton *highlight_matching_brackets;
   GtkCheckButton *insert_spaces_instead_of_tabs;
+  GtkCheckButton *overwrite_braces;
   GtkCheckButton *show_line_marks;
   GtkCheckButton *show_line_numbers;
   GtkCheckButton *show_right_margin;
@@ -94,6 +95,9 @@ gb_editor_settings_widget_set_language (GbEditorSettingsWidget *widget,
       g_settings_bind (priv->settings, "insert-spaces-instead-of-tabs",
                        priv->insert_spaces_instead_of_tabs, "active",
                        G_SETTINGS_BIND_DEFAULT);
+      g_settings_bind (priv->settings, "overwrite-braces",
+                       priv->overwrite_braces, "active",
+                       G_SETTINGS_BIND_DEFAULT);
       g_settings_bind (priv->settings, "show-line-marks",
                        priv->show_line_marks, "active",
                        G_SETTINGS_BIND_DEFAULT);
@@ -187,6 +191,7 @@ gb_editor_settings_widget_class_init (GbEditorSettingsWidgetClass *klass)
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, 
highlight_matching_brackets);
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, 
insert_spaces_instead_of_tabs);
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, right_margin_position);
+  gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, overwrite_braces);
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, show_line_marks);
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, show_line_numbers);
   gtk_widget_class_bind_template_child_private (widget_class, GbEditorSettingsWidget, show_right_margin);
diff --git a/src/resources/ui/gb-editor-settings-widget.ui b/src/resources/ui/gb-editor-settings-widget.ui
index 034084b..aa18c8c 100644
--- a/src/resources/ui/gb-editor-settings-widget.ui
+++ b/src/resources/ui/gb-editor-settings-widget.ui
@@ -144,6 +144,23 @@
             <property name="position">4</property>
           </packing>
         </child>
+        <child>
+          <object class="GtkCheckButton" id="overwrite_braces">
+            <property name="label" translatable="yes">Overwrite closing braces, brackets, quotations, and 
parenthesis.</property>
+            <property name="visible">True</property>
+            <property name="can_focus">True</property>
+            <property name="receives_default">False</property>
+            <property name="halign">start</property>
+            <property name="valign">center</property>
+            <property name="xalign">0</property>
+            <property name="draw_indicator">True</property>
+          </object>
+          <packing>
+            <property name="expand">False</property>
+            <property name="fill">False</property>
+            <property name="position">5</property>
+          </packing>
+        </child>
       </object>
       <packing>
         <property name="left_attach">0</property>