[gnome-builder] plugins/editorui: add note about formatter plugin necessity
- From: Christian Hergert <chergert src gnome org>
 
- To: commits-list gnome org
 
- Cc: 
 
- Subject: [gnome-builder] plugins/editorui: add note about formatter plugin necessity
 
- Date: Wed, 14 Sep 2022 00:26:25 +0000 (UTC)
 
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]