KEY_F12 top-level constant

@Deprecated('Use .f12 instead') KeyboardKey const KEY_F12

Implementation

@Deprecated('Use .f12 instead')
const KeyboardKey KEY_F12 = .f12;