namespace Toolkit.Windows; public record HotKeyPressedEventArgs(int Key);