Flow.Launcher/Flow.Launcher/Storage/UserSelectedRecord.cs

using System.Collections.Generic;
using System.Text.Json.Serialization;
using Flow.Launcher.Infrastructure.Storage;
using Flow.Launcher.Plugin;

namespace Flow.Launcher.Storage
{
    public class UserSelectedRecord
    {
        /// <summary>
        /// You should not directly access this field
        /// <para>
        /// It is public due to System.Text.Json limitation in version 3.1
        /// </para>
        /// </summary>
        /// TODO: Set it to private
        [JsonPropertyName("records")]
        public Dictionary<string, int> records { get; set; }

        public UserSelectedRecord()
        {
            records = new Dictionary<string, int>();
        }

        public void Add(Result result)
        {
            var key = result.ToString();
            if (records.ContainsKey(key))
            {
                records[key]++;
            }
            else
            {
                records.Add(key, 1);

            }
        }

        public int GetSelectedCount(Result result)
        {
            if (records.TryGetValue(result.ToString(), out int value))
            {
                return value;
            }
            return 0;
        }
    }
}