From 6ccd590846c35e8d3b948e9203510ccf8718a79c Mon Sep 17 00:00:00 2001
From: Paul <paulmakles@gmail.com>
Date: Sun, 4 Jul 2021 17:55:53 +0100
Subject: [PATCH] Add strings.
---
en.json | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/en.json b/en.json
index 0a8767f..385f859 100644
--- a/en.json
+++ b/en.json
@@ -195,7 +195,11 @@
"import_theme": "Import theme from string",
"theme_data": "Theme Data",
"custom_css": "Custom CSS",
- "sync": "Sync Options"
+ "sync": "Sync Options",
+ "font": "Font Selector",
+ "mono_font": "Monoscape Font Selector",
+ "ligatures": "Font Ligatures",
+ "ligatures_desc": "For supported fonts, ligatures combine characters together, for example, turning -> into an arrow. Switch to Inter and try toggling this option."
},
"notifications": {
"title": "Notifications",
--
GitLab