From 15f583a4fe2366c400273e7e0e28cb788b30ad1f Mon Sep 17 00:00:00 2001 From: Tilman Vatteroth Date: Wed, 5 Apr 2023 19:24:07 +0200 Subject: [PATCH] fix: change help text of ligature setting Signed-off-by: Tilman Vatteroth --- frontend/locales/en.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/locales/en.json b/frontend/locales/en.json index d5f4eb611..f5f9687b4 100644 --- a/frontend/locales/en.json +++ b/frontend/locales/en.json @@ -603,7 +603,7 @@ "label": "Editor", "ligatures": { "label": "Ligatures", - "help": "(De)Activates support for ligatures in the editor." + "help": "Renders special character sequences as one symbol." }, "smartPaste": { "label": "Smart Paste",