name property

String name

The identifier this key is spelled with in Dart (InputKey.arrowLeft) and in JSON. The two are the same string on purpose: a keybinding file is readable, and a typo in one is greppable against the other.

Implementation

final String name;