Small UI changes (#3787)

This commit is contained in:
Joe Milazzo 2025-05-04 08:14:44 -06:00 committed by GitHub
parent 50a052e412
commit 5b8a643d82
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
203 changed files with 369 additions and 446 deletions

View file

@ -3,7 +3,7 @@
/// <summary>
/// Represents an individual button in a Jump Bar
/// </summary>
public class JumpKeyDto
public sealed record JumpKeyDto
{
/// <summary>
/// Number of items in this Key