[gnome-builder] plugins/editorui: fix a typo
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/editorui: fix a typo
- Date: Sat, 24 Sep 2022 23:46:45 +0000 (UTC)
commit a1263eabba5e8853703411da30817fd6a97bf71b
Author: Joshua Lee <lee son wai gmail com>
Date: Sun Sep 25 00:11:42 2022 +0100
plugins/editorui: fix a typo
src/plugins/editorui/tweaks-language.ui | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/editorui/tweaks-language.ui b/src/plugins/editorui/tweaks-language.ui
index bc818b724..797260cf2 100644
--- a/src/plugins/editorui/tweaks-language.ui
+++ b/src/plugins/editorui/tweaks-language.ui
@@ -294,7 +294,7 @@
</child>
<child>
<object class="IdeTweaksRadio">
- <property name="title" translatable="yes">Prefer a space before
simicolons</property>
+ <property name="title" translatable="yes">Prefer a space before
semicolons</property>
<property name="value">'before-semicolon'</property>
<property name="binding">language_spaces_style_setting</property>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]