[gnome-builder] plugins/editorui: add note about formatter plugin necessity



commit 432478e9b4cfaa79d8dc3a287c052c6c45a49250
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 13 17:26:20 2022 -0700

    plugins/editorui: add note about formatter plugin necessity

 src/plugins/editorui/tweaks.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/editorui/tweaks.ui b/src/plugins/editorui/tweaks.ui
index e985a67a4..53ebeb53f 100644
--- a/src/plugins/editorui/tweaks.ui
+++ b/src/plugins/editorui/tweaks.ui
@@ -579,7 +579,7 @@
                         <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="subtitle" translatable="yes">Reformat sources when saving to 
disk. Requires a registered formatter for the source language.</property>
                             <property name="binding">
                               <object class="IdeTweaksSetting">
                                 <property name="schema-id">org.gnome.builder</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]