Removed Symbola, replaced with other/new fonts

Symbola's license is not permissive enough, so it has been removed. Added "Smol Emoji" with face emoticons and other UI characters for Lagrange. More symbols provided by Noto Sans Symbols and Noto Sans Symbols 2.

The fallback fonts are now Iosevka, which has a pretty good coverage (although monospace), and the user's chosen TrueType font (which could still be a local copy of Symbola).

Still a work in progress: some characters are missing.

IssueID #283

1 files changed, 3 insertions, 0 deletions

diff --git a/po/en.po b/po/en.po
index 7e9477ab..96f894d1 100644
--- a/po/en.po
+++ b/po/en.po
@@ -1210,6 +1210,9 @@ msgstr "On Dark"
 msgid "prefs.boldlink.light"
 msgstr "On Light"
 
+msgid "prefs.userfont"
+msgstr "Symbol font:"
+
 msgid "prefs.linewidth"
 msgstr "Line width:"