Type Definition ButtonId
window_events
type ButtonId = u32;
Identifier for a specific button on some device.