private void AddKey(TermInfo.Database db, string extendedName, ConsoleKey key, bool shift, bool alt, bool control)
    {
        ReadOnlyMemory <char> keyFormat = db.GetExtendedString(extendedName).AsMemory();

        if (!keyFormat.IsEmpty)
        {
            KeyFormatToConsoleKey[keyFormat] = new ConsoleKeyInfo('\0', key, shift, alt, control);
        }
    }