[gnome-builder] plugins/editorui: add tweak for format-on-save

[Christian Hergert <chergert src gnome org>]

commit 322dbcdbc25cf70b34f7d7c1302ab608008dd918
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 17 22:47:15 2022 -0700

    plugins/editorui: add tweak for format-on-save

 src/plugins/editorui/tweaks.ui | 11 +++++++++++
 1 file changed, 11 insertions(+)
---
diff --git a/src/plugins/editorui/tweaks.ui b/src/plugins/editorui/tweaks.ui
index 4ff7cb491..2f9eae04e 100644
--- a/src/plugins/editorui/tweaks.ui
+++ b/src/plugins/editorui/tweaks.ui
@@ -151,6 +151,17 @@
             <child>
               <object class="IdeTweaksPage" id="editor_behavior_page">
                 <property name="title" translatable="yes">Behavior</property>
+                <child>
+                  <object class="IdeTweaksGroup">
+                    <child>
+                      <object class="IdeTweaksSwitch">
+                        <property name="title" translatable="yes">Format on Save</property>
+                        <property name="subtitle" translatable="yes">Reformat sources when saving to 
disk</property>
+                        <property name="action-name">settings.org.gnome.builder.format-on-save</property>
+                      </object>
+                    </child>
+                  </object>
+                </child>
                 <child>
                   <object class="IdeTweaksGroup" id="editor_behavior_keyboard_group">
                     <property name="title" translatable="yes">Keyboard</property>