[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]