Lagrange [work/v1.8]

Added French as UI language option

=> 0383bfd9dc8bb4f80d1bb02a01eae0635a450ee3

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1db57832..3238d9b2 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -79,6 +79,7 @@ set (EMBED_RESOURCES
     res/lang/en.bin
     res/lang/es.bin
     res/lang/fi.bin
+    res/lang/fr.bin
     res/lang/ie.bin
     res/lang/ru.bin
     res/lang/sr.bin
diff --git a/po/compile.py b/po/compile.py
index 0bff919f..44fd92b4 100755
--- a/po/compile.py
+++ b/po/compile.py
@@ -4,7 +4,7 @@
 
 import os, sys
 
-BUILD_LANGS = ['en', 'es', 'fi', 'ie', 'ru', 'sr', 'zh_Hans', 'zh_Hant']
+BUILD_LANGS = ['en', 'de', 'es', 'fi', 'fr', 'ie', 'ru', 'sr', 'zh_Hans', 'zh_Hant']
 MODE = 'compile'
 ESCAPES = {
     '\\': '\\',
diff --git a/res/lang/fr.bin b/res/lang/fr.bin
new file mode 100644
index 00000000..c25f6b17
Binary files /dev/null and b/res/lang/fr.bin differ
diff --git a/src/lang.c b/src/lang.c
index 38d2dc90..750e282c 100644
--- a/src/lang.c
+++ b/src/lang.c
@@ -53,6 +53,7 @@ static void load_Lang_(iLang *d, const char *id) {
     /* Load compiled language strings from an embedded blob. */
     iUnused(id);
     const iBlock *data = equal_CStr(id, "fi")      ? &blobFi_Embedded
+                       : equal_CStr(id, "fr")      ? &blobFr_Embedded
                        : equal_CStr(id, "ru")      ? &blobRu_Embedded
                        : equal_CStr(id, "es")      ? &blobEs_Embedded
 //                       : equal_CStr(id, "de")      ? &blobDe_Embedded
diff --git a/src/ui/util.c b/src/ui/util.c
index ddaccd68..45751a3f 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -1961,6 +1961,7 @@ iWidget *makePreferences_Widget(void) {
                 { "${lang.en} - en", 0, 0, "uilang id:en" },
                 { "${lang.es} - es", 0, 0, "uilang id:es" },
                 { "${lang.fi} - fi", 0, 0, "uilang id:fi" },
+                { "${lang.fr} - fr", 0, 0, "uilang id:fr" },
                 { "${lang.ie} - ie", 0, 0, "uilang id:ie" },
                 { "${lang.ru} - ru", 0, 0, "uilang id:ru" },
                 { "${lang.sr} - sr", 0, 0, "uilang id:sr" },