Function capitalizeKey

gui/src/components/gui/Shortcut.tsx:57–58

(key: string)

};

const capitalizeKey = (key: string) =>
  key.charAt(0).toUpperCase() + key.slice(1).toLowerCase();

const isSingleCharNonModifier = (key: string) =>
  key && key.length === 1 && /^[a-zA-Z0-9]$/.test(key);