Use locally compiled new version of EmbedIO

Remove backports Skip trimming of FilterOperator and FilterDefinition
2022-07-09 21:26:39 +08:00
parent 01710f1857
commit e5a22ece90
8 changed files with 42 additions and 148 deletions
@@ -32,6 +32,10 @@ public class Navigator
    
    [ProtoMember(9)]
    public string? ToolTipEn { get; set; }
+
+    [ProtoIgnore]
+    public string? NameEntryString => NameEntry0?.ToString();
+
    public override string ToString() {
        return $"{Id}: {NameEntry1?.NameWithVariant}, {NameEntry1?.IllustrationCredit}";
    }