[gnome-terminal] profile: editor: Skip unknown charsets

[Christian Persch <chpe src gnome org>]

commit cf95cc6c6b7860a7d61ef72bb80bc8211cf40c04
Author: Christian Persch <chpe src gnome org>
Date:   Fri Jul 22 21:40:23 2022 +0200

    profile: editor: Skip unknown charsets
    
    Don't list charsets in the list that are unknown to ICU since
    using them won't work anyway.

 src/profile-editor.cc | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/profile-editor.cc b/src/profile-editor.cc
index a99fb892..cc3c5f40 100644
--- a/src/profile-editor.cc
+++ b/src/profile-editor.cc
@@ -835,6 +835,10 @@ append_encodings_for_group (GtkTreeStore *store,
     if (encodings[i].group != group)
       continue;
 
+    /* Skip encodings not supported by ICU */
+    if (terminal_util_translate_encoding (encodings[i].charset) == nullptr)
+      continue;
+
     gs_free char *name = g_strdup_printf ("%s " EM_DASH " %s",
                                           _(encodings[i].name), encodings[i].charset);